Merge branch 'upstream/master'
EA_MODEL set various verified + implementation flags for BTM.Linking
State S3 of SoM completed in order to be able to establish a communication session in the state A31.
OpenRBCSession completely implemented.
Euroradio connection establishment: some paragraphs splitted + implemented
First try of implementing RBC state machine
Added missing traceability link
§3.5.3.7.a.1 is implemented
Euroradio state machine implementation continued
Merge branch 'OpenETCS/master'

Conflicts:
	ErtmsFormalSpecs/doc/specs/subset-026/EURORADIO.efs_ns
Implemented reception of system version
EA_MODEL completed BTM.Linking.CurrentBGAcceptableUnknown
EA_MODEL remove BTM.Linking.CurrentBGIsNominalDirection()
EA_MODEL add verification flag for BTM.Linking.CurrentBGWithinFrame
EA_MODEL minor remodelling of BTM.Linking.CurrentBGWithinFrame()
EA_MODEL rename parameters of BTM.Linking.CreateLinkingData()
EA_MODEL set flags for BTM.Linking.StoreLinkingInfo
EA_MODEL implement BTM.Linking.LinkingInformationReceived.ClearLinkingInformation.Infill
EA_MODEL remove requirement flag for BTM.Linking.DistanceToBaliseGroup
EA_MODEL add definition of expectation window to BTM.Linking.CleanLinkingInfo