LUKÁCS, Gábor; BARTHA, Tamás. Verification of Railway Control Systems Using Model Checking and CTL, Explained Through a Case Study. Periodica Polytechnica Transportation Engineering, [S. l.], v. 52, n. 4, p. 402–411, 2024. 10.3311/PPtr.23344. Disponível em: https://pp.bme.hu/tr/article/view/23344. Acesso em: 2 2025.