@article{Darvas:PerPol2017,
	author = {D\'aniel Darvas and Majzik, Istv\'an and Blanco Vi{\~n}uela, Enrique},
	title = {{PLC} Program Translation for Verification Purposes},
	journal = {Periodica Polytechnica, Electrical Engineering and Computer Science},
	year = {2017},
	volume = {61},
	number = {2},
	pages = {151--165},
	doi = {10.3311/PPee.9743},
	issn = {2064-5279},
	bib-link = {PerPol2017_DarvasEtAl.bib},
	pdf-link = {http://darvasd.hu/publications/PerPol2017_DarvasEtAl_manuscript.pdf},
	mtmt = {3150612},
}