EA_MODEL Linked the non implemented requirements in 3.13.2 and marked as implemented
EA_MODEL Added link related to the permitted speed
EA_MODEL Updated implementation status of 3.13.9.4.8.2.1
EA_MODEL Implementation of 3.13.9.3.5.11
EA_MODEL Implemented 3.13.10.2.1, started on 2.2 and 2.5
EA_MODEL Modified handling of supervision status updates in CSM
EA_MODEL Modified handling of SB and EB triggers
EA_MODEL Completed implementation of 3.13.10.2
EA_MODEL Rewrote UpdateSupervisionStatus rule for clarity
Check for recursive function calls added
EA_MODEL Handled bug with the MRSP (LX speed restrictions causing recursive function calls)
Refactoring
Merge branch 'Upstream/master'
Merge branch 'master'

Conflicts:
	ErtmsFormalSpecs/doc/specs/subset-026/DMI.efs_ns
	ErtmsFormalSpecs/doc/specs/subset-026/DMI/OUT.efs_ns
	ErtmsFormalSpecs/doc/specs/subset-026/Default/BaseTypes.efs_ns
	ErtmsFormalSpecs/doc/specs/subset-026/EURORADIO.efs_ns
	ErtmsFormalSpecs/doc/specs/subset-026/Kernel/MA.efs_ns
	ErtmsFormalSpecs/doc/specs/subset-026/Kernel/ModeRelatedSpeedLimits.efs_ns
	ErtmsFormalSpecs/doc/specs/subset-026/Kernel/SpeedAndDistanceMonitoring.efs_ns
	ErtmsFormalSpecs/doc/specs/subset-026/Kernel/SpeedAndDistanceMonitoring/CeilingSupervision.efs_ns
	ErtmsFormalSpecs/doc/specs/subset-026/Kernel/SpeedAndDistanceMonitoring/PreIndicationLocation.efs_ns
	ErtmsFormalSpecs/doc/specs/subset-026/Kernel/SpeedAndDistanceMonitoring/TargetSupervision.efs_ns
	ErtmsFormalSpecs/doc/specs/subset-026/Kernel/TrackDescription/AxleLoad.efs_ns
	ErtmsFormalSpecs/doc/specs/subset-026/Kernel/TrackDescription/PermittedBrakingDistance.efs_ns
	ErtmsFormalSpecs/doc/specs/subset-026/Kernel/TrackDescription/ReversingArea.efs_ns
	ErtmsFormalSpecs/doc/specs/subset-026/Kernel/TrackDescription/RouteSuitability.efs_ns
	ErtmsFormalSpecs/doc/specs/subset-026/Kernel/TrackDescription/StaticSpeedProfile.efs_ns
	ErtmsFormalSpecs/doc/specs/subset-026/Kernel/TrackDescription/TrackConditions/General.efs_ns
	ErtmsFormalSpecs/doc/specs/subset-026/Kernel/TrainData.efs_ns
	ErtmsFormalSpecs/doc/specs/subset-026/Kernel/TrainData/BrakingParameters/ConversionModel.efs_ns
	ErtmsFormalSpecs/doc/specs/subset-026/TestFrames/LX - Functional tests.efs_tst
Revert "Merge branch 'master'"

This reverts commit 9731c055ec59c53ea04e4b6dbca7aa47d00df61b, reversing
changes made to d6a7ca3ac971dc91f1bf81b30a52666190968c88.
EA_MODEL Change monitoring type to State Machine
EA_MODEL Fixed errors related to the monitoring type state machine
Merge branch 'master'

Conflicts:
	ErtmsFormalSpecs/doc/specs/subset-026/JRU.efs_ns
	ErtmsFormalSpecs/doc/specs/subset-026/Kernel/SpeedAndDistanceMonitoring.efs_ns
	ErtmsFormalSpecs/doc/specs/subset-026/Kernel/SpeedAndDistanceMonitoring/CeilingSupervision.efs_ns
	ErtmsFormalSpecs/doc/specs/subset-026/Kernel/SpeedAndDistanceMonitoring/PreIndicationLocation.efs_ns
	ErtmsFormalSpecs/doc/specs/subset-026/Kernel/SpeedAndDistanceMonitoring/ReleaseSpeedSupervision.efs_ns
	ErtmsFormalSpecs/doc/specs/subset-026/Kernel/SpeedAndDistanceMonitoring/TargetSupervision.efs_ns
	ErtmsFormalSpecs/doc/specs/subset-026/Kernel/SpeedAndDistanceMonitoring/TargetSupervision/GUI.efs_ns
	ErtmsFormalSpecs/doc/specs/subset-026/Kernel/SpeedAndDistanceMonitoring/TargetSupervision/LevelCrossing.efs_ns
	ErtmsFormalSpecs/doc/specs/subset-026/Specifications/Subset 26/Chapter A1.efs_ch
	ErtmsFormalSpecs/doc/specs/subset-026/TestFrames/DMI - Functional tests.efs_tst
	ErtmsFormalSpecs/doc/specs/subset-026/TestFrames/JRU - Functional tests.efs_tst
EA_MODEL Manually incorporated the changes from local master branch (git merge was not working)
EA_MODEL Added traceability to specs and comments to the speed and distance monitoring