ERTMSModelling ERTMS Modelling in Real Time Maude Authors: Andrew Lawrence, Monika Seisenberger, Markus Roggenback and Philip James