@article {5154,
	title = {Applying Model Checking to Industrial-Sized {PLC} Programs},
	journal = {IEEE Transactions on Industrial Informatics},
	volume = {11},
	year = {2015},
	month = {12/2015},
	pages = {1400-1410},
	publisher = {IEEE},
	issn = {1551-3203},
	doi = {10.1109/TII.2015.2489184},
	url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=7295624},
	author = {Fern{\'a}ndez Adiego, Borja and D{\'a}niel Darvas and Blanco Vi{\~n}uela, Enrique and Tournier, Jean-Charles and Bliudze, Simon and Blech, Jan Olaf and Gonz{\'a}lez Su{\'a}rez, V{\'\i}ctor M.}
}
