Abstract: Testing is an important safety assurance technique for railway interlocking systems. Model-based testing (MBT) allows for designing and maintaining tests with high-level models and ...