@inproceedings {Darvas:ICALEPCS2015_PLCverif,
	title = {PLCverif: A tool to verify PLC programs based on model checking techniques},
	booktitle = {Proceedings of the 15th International Conference on Accelerator and Large Experimental Physics Control Systems},
	year = {2015},
	month = {10/2015},
	pages = {911-914},
	publisher = {JACoW},
	organization = {JACoW},
	address = {Melbourne, Australia},
	isbn = {978-3-95450-148-9},
	doi = {10.18429/JACoW-ICALEPCS2015-WEPGF092},
	url = {http://accelconf.web.cern.ch/AccelConf/ICALEPCS2015/papers/wepgf092.pdf},
	author = {D{\'a}niel Darvas and Fern{\'a}ndez Adiego, Borja and Blanco Vi{\~n}uela, Enrique},
	editor = {Lou Corvetti and Kathleen Riches and Volker R.W. Schaa}
}
