openETCS/ERTMSFormalSpecs — pull request #123 by diegofdz (2013-08-08 10:23:44+00:00)
Title: Testing Reception of Mode Profile

Testing requirements 3.12.4.1 and 3.12.4.3