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, June. https://doi.org/10.3311/PPtr.23344.