@inbook {Darvas:iFM2016,
	title = {Formal Verification of Safety {PLC} Based Control Software},
	booktitle = {Integrated Formal Methods},
	series = {Lecture Notes in Computer Science},
	volume = {9681},
	year = {2016},
	pages = {508-522},
	publisher = {Springer},
	organization = {Springer},
	isbn = {978-3-319-33693-0},
	doi = {10.1007/978-3-319-33693-0_32},
	url = {http://link.springer.com/chapter/10.1007\%2F978-3-319-33693-0_32},
	author = {D{\'a}niel Darvas and Istv{\'a}n Majzik and Blanco Vi{\~n}uela, Enrique}
}
