Update ERTMSformalSpec.tex

Mostly cosmetic changes related to the use of the proper color, and some corrections.