6Estefan J A. Survey of Model-Based Systems Engineering (MBSE) methodologies[R]. INCOSE MBSE Initiative, 2008.
7Henson Graves, Yvonne Bijan. Using formal methods with SysML in aerospace design and engineering [J]. Annals of Mathematics and Arti- ficial Intelligence, 2011, 63( 1 ):53-102.
8Ozlem Demirci. Development of Mbse/Uml maturity model [D]. Tekniska Jonkoping School of Engineering, 2010.
9Thomas Johnson, Aleksandr Kerzhner, Christiaan J J Paredis. Integrat- ing models and simulations of continuous dynamics into SysML [J]. Journal of Computing and Information Science in Engineering, 2012, 12(3): 1-11.
10Mary Bone, Dr. Robert Cloutier .The current state of Model Based Sys- tems Engineering: results from the OMGTM SysML request for infor- mation [C]//8th Conference of Systems Engineering Research (CSER), 2010:13-20.
