[1] 刘兴堂，梁炳成，刘力，等.复杂系统建模理论、方法与技术.北京：科学出版社，2008.
[2] Cecilia H. Systems engingering handbook a guide for system life cycle processes and activities. International Council on System Engineering， 2011.
[3] Tim W. Systems engineering with SysML/UML:Modeling,Analysis, 2008： 1-320.
[4] Holt J，Perry S. SysML for systems engineering.UK:IET，2007:1-352.
[5] Mourad D，Fawzi H，Yosr J. Verification and validation in systems engineering. Assessing uml/sysml design models. 2010:1-270.
[6] Banerjee A，Ray S，Dasqupta P. et al. A dynamic assertion-based verification platform for UML statecharts over Rhapsody.IEEE region 10 conference，2008:1-6.
[7] Crane M L，Dingel J. UML vs. classical vs.rhapsody statecharts:Not all models are created equal. Software and Systems Modeling,2007,6(4):415-435.
[8] IEEE Std 1516-2000,IEEE Standard for Modeling and Simulation(M&S)High Level. Architecture(HLA)—Framework and Rules,USA:IEEE,2000.
[9] 刘兴华，曹云峰，沈春林.模型驱动的复杂反应式系统顶层设计与验证.系统仿真学报， 2009(14)： 82-87.
[10] 项云伟，王耀南.复杂工业过程的智能控制和智能管理系统集成.湖南大学学报， 2000(1)： 62-67.
[11] 孟祥慧，蒋祖华.面向复杂机械产品分解式设计的系统集成平台方法.机械科学与技术， 2006(3)： 284-287.
[12] Sanford F，Alan M，Rick S. A practical guide to sysML: The systems modeling language. San Francisco:Morgan Kaufmann，2009：1-576.
[13] 刘玉生，蒋玉芹，高曙明.模型驱动的复杂产品系统设计建模综述.中国机械工程， 2010(10)： 841-749.
[14] 郭晶，袁坚，王剑山，等.基于双耦合驱动模型的时空混沌流密码系统.清华大学学报， 2009，49(8)： 1180-1173.
2015, 
