openETCS/ERTMSFormalSpecs — pull request #367 by morido (2014-01-20 11:19:47+00:00)
Title: Review of BTM.Linking

@Svitlana-Lukicheva: Can you check if BTM.Linking.Applicable is updated at the correct moment in time? I am unsure if I should rather change it into some kind of rule.