openETCS/ERTMSFormalSpecs — pull request #227 by diegofdz (2013-10-07 11:13:54+00:00)
Title: EA_TEST requirement 3.8.3.8 When in DP in L1 the distance given should b...

...e the EOA distance