Lukács, G., Bartha, T. (2024) “Verification of Railway Control Systems Using Model Checking and CTL, Explained Through a Case Study”, Periodica Polytechnica Transportation Engineering. https://doi.org/10.3311/PPtr.23344