Update ERTMSformalSpec.tex

Added assessor 1 marks