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. (Jun. 2024). https://doi.org/10.3311/PPtr.23344.