openETCS/ERTMSFormalSpecs — pull request #428 by luisErtmsSolutions (2014-02-07 17:51:50+00:00)
Title: Jru functinoallities after pr

Added new messages in the JRU referring to the TIU:
- Special brakes
- Additional brakes