@inproceedings {Darvas:ICALEPCS2015_PLCspecif,
	title = {A formal specification method for {PLC}-based applications},
	booktitle = {Proceedings of the 15th International Conference on Accelerator and Large Experimental Physics Control Systems},
	year = {2015},
	month = {10/2015},
	pages = {907-910},
	publisher = {JACoW},
	organization = {JACoW},
	address = {Melbourne, Australia},
	isbn = {978-3-95450-148-9},
	doi = {10.18429/JACoW-ICALEPCS2015-WEPGF091},
	url = {http://accelconf.web.cern.ch/AccelConf/ICALEPCS2015/papers/wepgf091.pdf},
	author = {D{\'a}niel Darvas and Blanco Vi{\~n}uela, Enrique and Istv{\'a}n Majzik},
	editor = {Lou Corvetti and Kathleen Riches and Volker R.W. Schaa}
}
