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