openETCS/ERTMSFormalSpecs — pull request #427 by JamesOakey (2014-02-07 11:14:27+00:00)
Title: Yellow belt testing

Created tests for the requirements
3.8.2.1
3.8.5.1.2
3.8.5.1.3
3.8.5.1.4
3.8.5.2
3.8.5.2.2
3.8.5.2.4