S. Friedenthal and R. Griego, Mark Sampson INCOSE Model Based Systems Engineering (MBSE) Initiative, 2007.

S. Friedenthal, A. Moore, and R. Steiner, A Practical Guide to SysML, The Systems Modeling Language, 2009.

M. Trainguard and . Cbtc, The moving block communications based train control solutions, Siemens Transportation Systems

A. Sunny, Yaung Foundations of complex system theories in, 1998.

M. Stollberg and B. Elvester, A Customizable Methodology for the Model-driven Engineering of Service-based System Landscapes

E. M. Clarke and J. M. Wing, Formal methods : A state of the art, ACM Computing Surveys, vol.28, issue.4, 1996.

D. Harel and P. S. , Thiagarajan Message Sequence Charts, In UML for Real: Design of Embedded Real-Time Systems

M. Glinz and S. Berner, S An Object Oriented Modeling with ADORA Information Systems, pp.425-444

S. Adolph, A. Cockburn, and P. Bramble, Patterns for effective use cases, 2002.

J. Araujo, J. Whittle, and D. K. Kim, Modeling and Composing Scenario-Based Requirements with Aspects In Requirements Engineering Conference, Proceedings. 12th IEEE International, pp.58-67, 2004.

M. Issad, L. Kloul, and A. Rauzy, A Model-Based Methodology to Formalize Specifications of Railway Systems In Model-Based Safety and Assessment, pp.28-42, 2014.

R. B. France, D. K. Kim, S. Ghosh, and E. Song, A UML-based pattern specification technique. Software Engineering, IEEE Transactions on, vol.30, issue.3, pp.193-206, 2004.