@inproceedings{Darvas:SIES2016,
	author = {Darvas, D\'aniel and Majzik, Istv\'an and Blanco Vi{\~n}uela, Enrique},
	title = {Conformance Checking for Programmable Logic Controller Programs and Specifications},
	booktitle = {11th IEEE International Symposium on Industrial Embedded Systems (SIES)},
	year = {2016},
	location = {Krak\'ow, Poland},
    doi = {10.1109/SIES.2016.7509409},
	pages = {29-36},
	isbn = {978-1-5090-2282-3},
	url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=7509409},
	pdf-link = {http://darvasd.hu/publications/SIES2016_DarvasEtAl.pdf},
	bib-link = {SIES2016_DarvasEtAl.bib},
	publisher = {IEEE},
	mtmt = {3093045},
}