Applying Model Checking to Highly-Configurable Safety Critical Software: The SPS-PPS PLC Program. - Borja Fernandez Adiego; Ignacio D. Lopez-Miguel; Jean-Charles Tournier; Enrique Blanco Viñuela; Tomasz Ladzinski; Frederic Havart (CoRR, 2022)