Update ERTMSformalSpec.tex

Added assessor 1 marks
Update ERTMSformalSpec.tex

spell checking
Merge pull request #40 from renauddl/master

Assessor1 for ERTMSFormalSpec