@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}
}
