Mark Sampson INCOSE Model Based Systems Engineering (MBSE) Initiative, 2007. ,
A Practical Guide to SysML, The Systems Modeling Language, 2009. ,
The moving block communications based train control solutions, Siemens Transportation Systems ,
Yaung Foundations of complex system theories in, 1998. ,
A Customizable Methodology for the Model-driven Engineering of Service-based System Landscapes ,
Formal methods : A state of the art, ACM Computing Surveys, vol.28, issue.4, 1996. ,
Thiagarajan Message Sequence Charts, In UML for Real: Design of Embedded Real-Time Systems ,
S An Object Oriented Modeling with ADORA Information Systems, pp.425-444 ,
Patterns for effective use cases, 2002. ,
Modeling and Composing Scenario-Based Requirements with Aspects In Requirements Engineering Conference, Proceedings. 12th IEEE International, pp.58-67, 2004. ,
A Model-Based Methodology to Formalize Specifications of Railway Systems In Model-Based Safety and Assessment, pp.28-42, 2014. ,
A UML-based pattern specification technique. Software Engineering, IEEE Transactions on, vol.30, issue.3, pp.193-206, 2004. ,