@misc{indiciae676de733f80a,
  title = {Applying Model Checking to Highly-Configurable Safety Critical Software: The SPS-PPS PLC Program},
  author = {Borja Fernandez Adiego and Ignacio D. Lopez-Miguel and Jean-Charles Tournier and Enrique Blanco and Tomasz Ladzinski and Frederic Havart},
  year = {2022},
  doi = {10.18429/jacow-icalepcs2021-wepv042},
  url = {https://arxiv.org/abs/2203.16148},
  note = {Source identifier: 2203.16148}
}