@article {TII2015_FernandezEtAl,
	author = {Fern\'andez Adiego, Borja and Darvas, D\'aniel and Blanco Vi{\~n}uela, Enrique and Tournier, Jean-Charles and Bliudze, Simon and Blech, Jan Olaf and Gonz\'alez Su\'arez, V\'ictor M.},
	title = {Applying Model Checking to Industrial-Sized {PLC} Programs},
	year = {2015},
	journal = {IEEE Transactions on Industrial Informatics},
	volume = {11},
	number = {6},
	pages = {1400-1410},
	url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=7295624},
	doi = {10.1109/TII.2015.2489184},
	issn = {1551-3203},
	bib-link = {TII2015_FernandezEtAl.bib},
	pdf-link = {http://darvasd.hu/publications/TII2015_FernandezEtAl.pdf},
	publisher = {IEEE},
	mtmt = {2968010},
}