Assessor1 for ERTMSFormalSpec - corrections2

Corrected some marks based on answers provided by ERTMSSolution.