Applying Model Checking to Highly-Configurable Safety Critical Software: The SPS-PPS PLC Program | Publicación