Update ERTMSformalSpec.tex

Corrected some marks based on answers provided by ERTMSSolution.