openETCS/ERTMSFormalSpecs — pull request #167 by diegofdz (2013-09-19 12:05:37+00:00)
Title: EA_MODEL Modelization of the requirements 5.10.1.1 - 5.10.1.2 - 5.10.2.1...

...0 - 5.10.2.2 which say that a level transition order can be announced via balise or RBC and consist of and order of change of level and a location to do it. Also say that any combination of level can be possible.