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

...the section