Update ERTMSformalSpec.tex

spell checking