openETCS/ERTMSFormalSpecs — pull request #185 by diegofdz (2013-09-25 09:12:31+00:00)
Title: EA_MODEL Modelization of 5.10.1.4  level transition or conditional level...

... transition order put in the border