Changed Kernel.SpeedAndDistanceMonitoring.MonitoringType from an Enum to a State Machine (+automatic chages by EFS)
Added state transitions to the state machine, some automatic changes happened, too
EA_MODEL Removed redundant type (TargetsCol, collection of Kernel.SpeedandDistanceMonitoring.Target)
EA_MODEL Implementation of 3.13.10.6 Transitions between types of speed and distance monitoring
EA_MODEL Started fixing tests (16 tests fail)
EA_MODEL Modified calculation of deceleration curves (20 tests fail)
Merge branch 'Upstream/master'

Conflicts:
	ErtmsFormalSpecs/doc/specs/subset-026/Kernel/HandlingOfAcceptedAndStoredInformation.efs_ns
	ErtmsFormalSpecs/doc/specs/subset-026/Kernel/SR.efs_ns
	ErtmsFormalSpecs/doc/specs/subset-026/Kernel/SpeedAndDistanceMonitoring/CeilingSupervision.efs_ns
	ErtmsFormalSpecs/doc/specs/subset-026/Kernel/TSR.efs_ns
	ErtmsFormalSpecs/doc/specs/subset-026/Kernel/TrackDescription/TrackConditions.efs_ns
	ErtmsFormalSpecs/doc/specs/subset-026/Kernel/TrackDescription/TrackConditions/General.efs_ns
Merge branch 'Upstream/master'
Added explain view for "Cannot evaluate function" error
EA_MODEL Corrected Compute_d_PreIndication pre conditions
Can make special values of enums forbidden for arithmetic, DistanceForSpeed returns "Unknown" in cases where it returned no value previously
EA_MODEL Removed automatic setup of MA in "Kernel.InitializeTestEnvironment()"
Automatic refactoring
EA_MODEL Linking to spec
EA_MODEL Fixing implementation of 3.13.10.6 - Handling of cases where DistanceForSpeed for the GUI curve does not return a value
Automatic refactoring
EA_MODEL Added consideration of the cases with few speed restrictions
EA_MODEL Implementation of requirements 3.13.9.5.9 and 3.13.9.5.10
EA_MODEL Implementation of 3.13.9.5.13
Merge branch 'Upstream/master'