@misc{https://doi.org/10.4121/49fe4e0a-a92a-4fd6-b567-9dd408ff9867.v1,
  doi = {10.4121/49fe4e0a-a92a-4fd6-b567-9dd408ff9867.v1},
  url = {},
  author = {van der Wal, Djurre and Gerhold, Marcus and Rensink, Arend and Stoelinga, Mariëlle},
  keywords = {Conformance testing, Model-based testing, Programmable logic controllers, Railway infrastructure, Railway signalling, Railways, Safety-critical systems, Simulation software, Single-Input-Changes, Traffic management},
  title = {Supporting software for the paper: Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller (Extended Version)},
  publisher = {4TU.ResearchData},
  year = {2025},
  copyright = {MIT},
}