Bringing Automated Model Checking to PLC Program Development — A CERN Case Study — | Publicación