@inproceedings {Darvas:INDIN2016,
	title = {PLC Code Generation Based on a Formal Specification Language},
	booktitle = {14th IEEE International Conference on Industrial Informatics (INDIN)},
	year = {2016},
	month = {07/2016},
	pages = {389-396},
	publisher = {IEEE},
	organization = {IEEE},
	address = {Poitiers, France},
	isbn = {978-1-5090-2869-6},
	author = {D{\'a}niel Darvas and Blanco Vi{\~n}uela, Enrique and Istv{\'a}n Majzik}
}
