@inproceedings{Fernandez:IFAC2014,
	author = {Fern\'andez Adiego, Borja and Darvas, D\'aniel and Blanco Vi{\~n}uela, Enrique and Tournier, Jean-Charles   and Gonz\'alez Su\'arez, V\'ictor M. and Blech, Jan Olaf},
	title = {Modelling and Formal Verification of Timing Aspects in Large {PLC} Programs},
	booktitle = {Proceedings of the 19th IFAC World Congress},
	editor = {Boje, Edward and Xia, Xiaohua},
	series = {IFAC Proceedings Volumes},
	issn = {1474-6670},
	volume = {47 (3)},
	year = {2014},
	location = {Cape Town, South Africa},
	doi = {10.3182/20140824-6-ZA-1003.01279},
	pages = {3333-3339},
	isbn = {978-3-902823-62-5},
	url = {http://www.sciencedirect.com/science/article/pii/S1474667016421208},
	pdf-link = {http://darvasd.hu/publications/IFAC2014_FernandezEtAl_authorspdf.pdf},
	bib-link = {IFAC2014_FernandezEtAl.bib},
	publisher = {Elsevier},
	mtmt = {2767995},
}