“…Conventionally, the development and verification process of interlocking systems is informal and mostly manual, and hence time-consuming, costly, and error-prone. Automated verification of interlocking systems is therefore an active research topic, investigated by several research groups, see e.g., [20,17,38,25,19,24]. As part of the RobustRailS research project, 3 our work aims at establishing a holistic method supporting the verification of such systems.…”