TY  - RPRT
TI  - Applying Model Checking to Highly-Configurable Safety Critical Software: The SPS-PPS PLC Program
AU  - Borja Fernandez Adiego
AU  - Ignacio D. Lopez-Miguel
AU  - Jean-Charles Tournier
AU  - Enrique Blanco
AU  - Tomasz Ladzinski
AU  - Frederic Havart
PY  - 2022
DO  - 10.18429/jacow-icalepcs2021-wepv042
UR  - https://arxiv.org/abs/2203.16148
ID  - 2203.16148
ER  -