1. Model-Driven Software Engineering in Practice;Brambilla,2012
2. C. Brooks, Chihhong P. Cheng, T.H. Feng, E. A. Lee, and R. von Hanxleden. Model engineering using multimodeling. Technical report, UC Berkeley, 2008.
3. Modeling cyber-physical systems;Derler;Proceedings of the IEEE,2012
4. A discipline of programming;Dijkstra,1976
5. ESA. ECSS-E-70-31A. space engineering standard - ground systems and operations - monitoring and control data definition standard. Technical report, European Space Agency.