EA_TEST 3.7.3.1d New Permitted Braking Distance Information overwrites old one
Merge branch 'master' of https://github.com/morido/ERTMSFormalSpecs