TITLE     : Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and UPPAAL SMC
AUTHOR(S) : Basile D, Ter Beek Mh, Ferrari A, Legay A
TYPE      : Conference article
YEAR      : 2019
CODE      : 406686

*** DO NOT EDIT THIS FILE ***