@incollection{Darvas:FORTE2014,
	author = {Darvas, D\'aniel and Fern\'andez Adiego, Borja and V\"or\"os, Andr\'as and Bartha, Tam\'as and Blanco Vi{\~n}uela, Enrique and Gonz\'alez Su\'arez, V\'ictor M.},
	title = {Formal verification of complex properties on {PLC} programs},
	year = {2014},
    booktitle = {Formal Techniques for Distributed Objects, Components, and Systems},
	editor = {Erika \'Abrah\'am and Catuscia Palamidessi},
    series = {Lecture Notes in Computer Science},
	volume = {8461},
    publisher = {Springer},
	url = {http://link.springer.com/chapter/10.1007/978-3-662-43613-4_18},
	doi = {10.1007/978-3-662-43613-4_18},
	isbn = {978-3-662-43612-7},
	pages = {284-299},
	pdf-link = {http://darvasd.hu/publications/FORTE2014_DarvasEtAl_authorspdf.pdf},
	bib-link = {FORTE2014_DarvasEtAl.bib},
	mtmt = {2768057},
}