Corrected verification of the second SBI curve
Actions and expectations separated in different sub-steps (otherwise expectations are satisfied....)
Fixed end conditions of track condition Non Stopping Area
Merge remote-tracking branch 'origin/master' into Fix_CR1109

Conflicts:
	ErtmsFormalSpecs/doc/specs/CR1109/TestFrames/CR1109.efs_tst