openETCS/ERTMSFormalSpecs — pull request #394 by JamesOakey (2014-01-23 15:33:57+00:00)
Title: White belt

I hope this is fixed