Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods. - Basile, Davide; ter Beek, Maurice H.; Ferrari, Alessio; Legay, Axel (International Journal on Software Tools for Technology Transfer, 2022)