Lukács G, Bartha T. Verification of Railway Control Systems Using Model Checking and CTL, Explained Through a Case Study. Period. Polytech. Transp. Eng. [Internet]. 2024 Jun. 4 [cited 2024 Jul. 3];. Available from: https://pp.bme.hu/tr/article/view/23344