openETCS/toolchain — pull request #45 by renauddl (2013-05-31 09:11:21+00:00)
Title: Assessor1 for ERTMSFormalSpec - corrections2

Corrected some marks based on answers provided by ERTMSSolution.