Finished implementation of registering of mobile temrinals
Elements renamed due to changes in the model
Corrected pre-conditions in RegisterANetwork procedure
Merge branch 'OpenETCS/master'
Implementation of changes of Safe Radio Connection status
Some elements in EURORADIO were renamed
Some bug fixes due to failed tests
Merge branch 'OpenETCS/master'
Added the ENCLOSING predefined designator
Merge branch 'Upstream/master'

Conflicts:
	ErtmsFormalSpecs/doc/specs/subset-026/Kernel/TrackDescription/TrackConditions.efs_ns