Model-Based Testing of Railway Interlocking Systems. - Alessandro Cimatti; Shaker Khandaker; Fitsum Meshesha Kifetew; Lorenzo Leone; Davide Prandi; Giuseppe Scaglione; Angelo Susi; Orazio Turboli (ISoLA (5), 2024)