openETCS/ERTMSFormalSpecs — pull request #417 by luisErtmsSolutions (2014-01-30 16:14:29+00:00)
Title: JRU functionallities

New 4 messages in the JRU
*FromRbc Message
*ToRbc Message
*Cab Status Message
*TrainDirectionController Messages

And in addition the subset 076 necessary JRU modifications and the Translations Rules related.