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., Jun. 2024.