1. CPS Steering Group. Cyber-physical systems execu-tive summary [Online], available: http://precise.seas. upenn.edu/events/iccps11/ doc/CPS-Executive-Summary.pdf, June 4, 2011
2. Lin J, Sedigh S, Miller A. A general framework for quanti-tative modeling of dependability in cyber-physical systems:a proposal for doctoral research. In: Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference. Seattle, USA: IEEE, 2009. 668¡671
3. Kleppe A G, Warmer J, Bast W. MDA Explained: The Model Driven Architecture: Practice and Promise[M]. Addison-Wesley Longman Publishing Co. Inc. 2003.
4. Liu Ya-jun, Kang Jian-chu, Lu Wei-feng. Overview of Model-Driven Architecture[J], Computer Science, 2006, 33(3):224--228.
5. Schmidt D C. Model-Driven Engineering[J]. Computer Languages Systems & Structures, 2006, 43(C):139--155.