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