Halfway Generic Verification of Railway Control Systems. - Gustav Zickert; Nikitas Stathatos (RSSRail, 2023)