@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} }