openETCS/ERTMSFormalSpecs — pull request #125 by diegofdz (2013-08-16 15:28:43+00:00)
Title: EA_TEST ModeProfile 3.12.4.2 LS/OS ModeProfile defines Entry and Length ...

...of the Mode. SH ModeProfile defines only Entry of the Mode.