G. Lukács and T. Bartha, “Verification of Railway Control Systems Using Model Checking and CTL, Explained Through a Case Study”, Period. Polytech. Transp. Eng., vol. 52, no. 4, pp. 402–411, Jan. 2024.