SCOLA, A SCENARIO ORIENTED MODELING LANGUAGE FOR RAILWAY SYSTEMS

[1]  Ketil Stølen,et al.  STAIRS towards formal design with sequence diagrams , 2005, Software & Systems Modeling.

[2]  Antoine Rauzy,et al.  A Model-Based Methodology to Formalize Specifications of Railway Systems , 2014, IMBSA.

[3]  Iulian Ober,et al.  OMEGA2: A New Version of the Profile and the Tools , 2010, 2010 15th IEEE International Conference on Engineering of Complex Computer Systems.