Update ERTMSformalSpec.tex

Mostly cosmetic changes related to the use of the proper color, and some corrections.
Merge pull request #42 from renauddl/master

Assessor1 for ERTMSFormalSpec - corrections