openETCS/ERTMSFormalSpecs — pull request #414 by JamesOakey (2014-01-30 11:36:32+00:00)
Title: Route suitability euroradio

Route suitability test for the RBC