Applying Model Checking to Industrial-Sized PLC Programs | Publicación