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 (Jan. 2024), 402–411. https://doi.org/10.3311/PPtr.23344.