Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods - Complementary data

This repository contains the models for the paper, created with Uppaal SMC version 4.1.19 and 4.1.24 (http://www.uppaal.org/). Basile, D., ter Beek, M.H., Ferrari, A. and Legay, A., 2022. Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods. International Journal on Software Tools for Technology Transfer, 24(3), pp.351-370. https://doi.org/10.1007/s10009-022-00653-3