openETCS/ERTMSFormalSpecs — pull request #433 by JamesOakey (2014-02-17 16:12:52+00:00)
Title: Orange Belt linking consistency modelling

Lots was changed in BTM, most noticeably I deleted Linking.ConsiderBG because it was replaced with Linking.CheckBGBeforeHandling.
I don't quite remember what else was done, a few functions added and condition 66 has a return value now (but I didn't mark any requirements as implemented for that one).