openETCS/ERTMSFormalSpecs — pull request #237 by diegofdz (2013-10-11 14:44:22+00:00)
Title: EA_TEST requirement 5.9.2.1 MP with OS mode shall change the mode inmedi...

...ately to it.
Placed in ModeProfile tests