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.], 2024. 10.3311/PPtr.23344. Disponível em: https://pp.bme.hu/tr/article/view/23344. Acesso em: 3 jul. 2024.