@article {Fernandez:2014Note,
	title = {Automated Generation of Formal Models from ST Control Programs for Verification Purposes},
	number = {CERN-ACC-NOTE-2014-0037},
	year = {2014},
	institution = {CERN},
	type = {Internal Note},
	url = {http://cds.cern.ch/record/1708853/files/Internal\%20Note.pdf},
	author = {Fern{\'a}ndez Adiego, Borja and D{\'a}niel Darvas and Tournier, Jean-Charles and Blanco Vi{\~n}uela, Enrique and Blech, Jan Olaf and Gonz{\'a}lez Su{\'a}rez, V{\'\i}ctor M.}
}
