openETCS/ERTMSFormalSpecs — pull request #197 by diegofdz (2013-09-30 14:12:00+00:00)
Title: EA_TEST Test of the requirements 3.11.5.7 ( TSR dont replace an old one ...

...) and 3.11.5.10 ( Orientation Changed TSR deleted )