[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.