@article {Darvas:2013Note,
	title = {Transforming PLC programs into formal models for verification purposes},
	number = {CERN-ACC-NOTE-2013-0040},
	year = {2013},
	institution = {CERN},
	type = {Internal Note},
	url = {http://cds.cern.ch/record/1629275/files/CERN-ACC-NOTE-2013-0040.pdf},
	author = {D{\'a}niel Darvas and Fern{\'a}ndez Adiego, Borja and Blanco Vi{\~n}uela, Enrique}
}
