openETCS/ERTMSFormalSpecs — pull request #441 by JamesOakey (2014-03-06 16:15:07+00:00)
Title: Ob section time out

Section time-outs and End Section time-outs implemented.
Also, removed level 2 and 3 MA handling from BTM (and modified the tests that failed as a consequence) and changed Kernel.InitializeTestEnvironment() to have more reasonable values for train position and LRGB position (and fixed the appropriate tests).