openETCS/ERTMSFormalSpecs — pull request #432 by luisErtmsSolutions (2014-02-13 09:34:00+00:00)
Title: Jru functinoallities after pr

Cosmetic operations in the comments, functions and procedures.