@inproceedings {Darvas:SIES2016,
	title = {Conformance Checking for Programmable Logic Controller Programs and Specifications},
	booktitle = {11th IEEE International Symposium on Industrial Embedded Systems (SIES)},
	year = {2016},
	month = {05/2016},
	pages = {29-36},
	publisher = {IEEE},
	organization = {IEEE},
	address = {Krak{\'o}w, Poland},
	isbn = {978-1-5090-2282-3},
	doi = {10.1109/SIES.2016.7509409},
	url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=7509409},
	author = {D{\'a}niel Darvas and Istv{\'a}n Majzik and Blanco Vi{\~n}uela, Enrique}
}
