@inproceedings {Fernandez:IFAC2014,
	title = {Modelling and Formal Verification of Timing Aspects in Large PLC Programs},
	booktitle = {Proceedings of the 19th IFAC World Congress 2014},
	year = {2014},
	month = {08/2014},
	pages = {3333-3339},
	doi = {10.3182/20140824-6-ZA-1003.01279},
	url = {https://cds.cern.ch/record/1956687},
	author = {Fern{\'a}ndez Adiego, Borja and D{\'a}niel Darvas and Blanco Vi{\~n}uela, Enrique and Tournier, Jean-Charles and Gonz{\'a}lez Su{\'a}rez, V{\'\i}ctor M. and Blech, Jan Olaf},
	editor = {Boje, Edward and Xia, Xiaohua}
}
