Text this: Verification of Railway Control Systems Using Model Checking and CTL, Explained Through a Case Study.