@inproceedings {Fernandez:WODES2014, title = {Bringing Automated Model Checking to PLC Program Development {\textendash} A CERN Case Study}, booktitle = {Proceedings of the 12th International Workshop on Discrete Event Systems}, year = {2014}, month = {05/2014}, pages = {394-399}, publisher = {International Federation of Automatic Control}, organization = {International Federation of Automatic Control}, address = {Paris, France}, isbn = {978-3-902823-61-8}, doi = {10.3182/20140514-3-FR-4046.00051}, url = {https://cds.cern.ch/record/1956439}, author = {Fern{\'a}ndez Adiego, Borja and D{\'a}niel Darvas and Tournier, Jean-Charles and Blanco Vi{\~n}uela, Enrique and Gonz{\'a}lez Su{\'a}rez, V{\'\i}ctor M.}, editor = {Lesage, Jean-Jacques and Faure, Jean-Marc and Cury, Jos{\'e} E. Ribiero and Lennartson, Bengt} }