EA_MODEL requirement 5.5.3.1.1 Step 1 of the procedure End of Mission. Handle information and go to EndofProcedure
EA_MODEL requirement 5.5.3.1.3
Merge branch 'openETCS/master'

Conflicts:
	ErtmsFormalSpecs/doc/specs/subset-026/Kernel.efs_ns
	ErtmsFormalSpecs/doc/specs/subset-026/Specifications/Chapter 5.efs_ch
Merge pull request #307 from diegofdz/master

Merged