Lukács, G. and Bartha, T. (2024) “Verification of Railway Control Systems Using Model Checking and CTL, Explained Through a Case Study”, Periodica Polytechnica Transportation Engineering, 52(4), pp. 402–411. 10.3311/PPtr.23344.