@misc{https://doi.org/10.4121/237905e5-54cc-4a98-abf3-38324d516bf3.v1,
  doi = {10.4121/237905e5-54cc-4a98-abf3-38324d516bf3.v1},
  url = {},
  author = {van der Wal, Djurre and Gerhold, Marcus and Stoelinga, Mariëlle},
  keywords = {Conformance testing, Model-based testing, Programmable logic controllers, Railways, Safety-critical systems, Single-Input-Changes, Railway signalling, Railway infrastructure, Traffic management, Simulation software},
  title = {Supporting software for the paper: Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller},
  publisher = {4TU.ResearchData},
  year = {2023},
  copyright = {MIT},
}