openETCS/ERTMSFormalSpecs — pull request #226 by diegofdz (2013-10-04 14:57:04+00:00)
Title: EA_TEST requirement 3.8.3.4 Section timer stop location shall be inside ...

...the section and 3.11.5.9 New TSR shall replace except a non revocable TSR mark as implemented