Corrected DMI Available state
Reviewed positions of states in state machines
Corrected tests (deadlines of expectations) after changes on DMI
Corrected DMI available state for inputs
Bug fix: reqrefs to unexisting paragraphs launched an exception
EA_MODEL non-functional changes (minor enhancements to the XML-structure intruduced by EFS 0.9.8.5)
Merge branch 'motherERTMS/master'

Conflicts:
	ErtmsFormalSpecs/doc/specs/subset-026/DMI.efs_ns
Merge branch 'motherERTMS/master'

Conflicts:
	ErtmsFormalSpecs/doc/specs/subset-026/BTM.efs_ns
	ErtmsFormalSpecs/doc/specs/subset-026/BTM/Linking.efs_ns
	ErtmsFormalSpecs/doc/specs/subset-026/DMI.efs_ns
	ErtmsFormalSpecs/doc/specs/subset-026/DMI/OUT.efs_ns
	ErtmsFormalSpecs/doc/specs/subset-026/Default.efs_ns
	ErtmsFormalSpecs/doc/specs/subset-026/EURORADIO.efs_ns
	ErtmsFormalSpecs/doc/specs/subset-026/EURORADIO/TrainData.efs_ns
	ErtmsFormalSpecs/doc/specs/subset-026/Kernel.efs_ns
	ErtmsFormalSpecs/doc/specs/subset-026/Kernel/LevelTransition.efs_ns
	ErtmsFormalSpecs/doc/specs/subset-026/Kernel/MA.efs_ns
	ErtmsFormalSpecs/doc/specs/subset-026/Kernel/ModeTransitions.efs_ns
	ErtmsFormalSpecs/doc/specs/subset-026/Kernel/TrainData.efs_ns
	ErtmsFormalSpecs/doc/specs/subset-026/STM.efs_ns
	ErtmsFormalSpecs/doc/specs/subset-026/Specifications/Chapter 3.efs_ch
	ErtmsFormalSpecs/doc/specs/subset-026/Specifications/Chapter 5.efs_ch
EA_MODEL correct various errors in the XML-structure introduced by a previous merge
EA_MODEL fixed 3.7.2.3 MA handling
Merge branch 'xml_structure_fix'

Conflicts:
	ErtmsFormalSpecs/doc/specs/subset-026/BTM.efs_ns
	ErtmsFormalSpecs/doc/specs/subset-026/DMI.efs_ns
	ErtmsFormalSpecs/doc/specs/subset-026/EURORADIO.efs_ns
	ErtmsFormalSpecs/doc/specs/subset-026/Kernel/LevelTransition.efs_ns
	ErtmsFormalSpecs/doc/specs/subset-026/Kernel/MA.efs_ns
EA_MODEL set implementation flag for Kernel.MA.AcceptMA