Update ERTMSformalSpec.tex

Corrected some marks based on answers provided by ERTMSSolution.
Merge pull request #45 from renauddl/master

Assessor1 for ERTMSFormalSpec - corrections2