Assessor1 for ERTMSFormalSpec - corrections

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