Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC.

Davide Basile, Maurice H. ter Beek, Alessio Ferrari, Axel Legay

Browse the full FMICS paper archive.