openETCS/ERTMSFormalSpecs — pull request #431 by JamesOakey (2014-02-12 12:14:16+00:00)
Title: Orange belt linking modelling

Changed a number of functions in BTM.Linking to implement the final few requirements in section 3.4.4.
Also changed the handling of messages with respect to linking and added a rule to delete the linking information of announced messages that have been read.