@inbook {Darvas:FORTE2014,
	title = {Formal verification of complex properties on PLC programs},
	booktitle = {Formal Techniques for Distributed Objects, Components, and Systems},
	series = {LNCS},
	volume = {8461},
	year = {2014},
	pages = {284-299},
	publisher = {Springer},
	organization = {Springer},
	isbn = {978-3-662-43612-7},
	doi = {10.1007/978-3-662-43613-4_18},
	url = {http://link.springer.com/chapter/10.1007/978-3-662-43613-4_18},
	author = {D{\'a}niel Darvas and Fern{\'a}ndez Adiego, Borja and Andr{\'a}s V{\"o}r{\"o}s and Tam{\'a}s Bartha and Blanco Vi{\~n}uela, Enrique and Gonz{\'a}lez Su{\'a}rez, V{\'\i}ctor M.},
	editor = {Erika {\'A}brah{\'a}m and Catuscia Palamidessi}
}
