@inproceedings{Fernandez:WODES2014,
	author = {Fern\'andez Adiego, Borja and Darvas, D\'aniel and Tournier, Jean-Charles and Blanco Vi{\~n}uela, Enrique and Gonz\'alez Su\'arez, V\'ictor M. },
	title = {Bringing Automated Model Checking to {PLC} Program Development -- {A} {CERN} Case Study},
	booktitle = {Proceedings of the 12th International Workshop on Discrete Event Systems},
	editor = {Lesage, Jean-Jacques and Faure, Jean-Marc and Cury, Jos\'e E. Ribiero and Lennartson, Bengt},
	series = {IFAC Proceedings Volumes},
	issn = {1474-6670},
	volume = {47 (2)},
	year = {2014},
	isbn = {978-3-902823-61-8},
	publisher = {Elsevier},
	location = {Paris, France},
	pages = {394-399},
	doi = {10.3182/20140514-3-FR-4046.00051},
	url = {http://www.sciencedirect.com/science/article/pii/S1474667015374334},
	pdf-link = {http://darvasd.hu/publications/WODES2014_FernandezEtAl_authorspdf.pdf},
	bib-link = {WODES2014_FernandezEtAl.bib},
	mtmt = {2768059},
}