As the ETCS specifications to date are written in Microsoft Word and other MS Office formats like e.g. Access, a medium/long-term approach towards formalisation and modelling is envisaged. Actually there are several ongoing activities in this field and the sector organisations aim to solve this issue or at least significant parts of it in the Shift2Rail project.