@inproceedings{Darvas:INDIN2016,
	author = {Darvas, D\'aniel and Blanco Vi{\~n}uela, Enrique and Majzik, Istv\'an},
	title = {{PLC} Code Generation Based on a Formal Specification Language},
	booktitle = {14th IEEE International Conference on Industrial Informatics (INDIN)},
	year = {2016},
	location = {Poitiers, France},
	doi = {10.1109/INDIN.2016.7819191},
	pages = {389-396},
	isbn = {978-1-5090-2869-6},
	url = {http://ieeexplore.ieee.org/document/7819191/},
	bib-link = {INDIN2016_DarvasEtAl.bib},
	pdf-link = {http://darvasd.hu/publications/INDIN2016_DarvasEtAl_authorspdf.pdf},
	publisher = {IEEE},
	mtmt = {3096124},
}