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 Jan. 1 [cited 2024 Dec. 3];52(4):402-11. Available from: https://pp.bme.hu/tr/article/view/23344