openETCS/ERTMSFormalSpecs — pull request #335 by luisErtmsSolutions (2013-12-20 16:17:43+00:00)
Title: JRU functionallities and JRU Messages transdorm into a collection

The JRU Messages has been transformed into a collection and the Tests has been updated according to it