@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} }