@incollection{Darvas:iFM2016,
	author = {Darvas, D\'aniel and Majzik, Istv\'an and Blanco Vi{\~n}uela, Enrique},
	title = {Formal Verification of Safety {PLC} Based Control Software},
	year = {2016},
    booktitle = {Integrated Formal Methods},
	editor = {\'Abrah\'am, Erika and Huisman, Marieke},
    series = {Lecture Notes in Computer Science},
	volume = {9681},
    publisher = {Springer},
	url = {http://link.springer.com/chapter/10.1007%2F978-3-319-33693-0_32},
	doi = {10.1007/978-3-319-33693-0_32},
	isbn = {978-3-319-33693-0},
	pages = {508-522},
	pdf-link = {http://darvasd.hu/publications/iFM2016_DarvasEtAl_authorspdf.pdf},
	bib-link = {iFM2016_DarvasEtAl.bib},
	mtmt = {3043587},
}