openETCS/ERTMSFormalSpecs — pull request #138 by diegofdz (2013-09-16 17:48:25+00:00)
Title: EA_MODEL  Modelization of the requirement 5.10.1.1

Beginning of the modelization of the Level transition requirements.( 5.10 )