Started implenetation of ShuntingInitiatedByDriver
Merge remote-tracking branch 'origin/master'

Conflicts:
	ErtmsFormalSpecs/doc/specs/subset-026.efs
Corrected bug of empty window
Implemented TODO in initial state change
Corrected expression text
Transition search corrected
ShuntingInitiatedByDriver implementation continued