@TECHREPORT{Fernandez:2014Note,
  author = {Fern\'andez Adiego, Borja and Darvas, D\'aniel and Tournier, Jean-Charles and Blanco Vi{\~n}uela, Enrique and Blech, Jan Olaf and Gonz\'alez Su\'arez, V\'ictor M.},
  title = {Automated Generation of Formal Models from {ST} Control Programs for Verification Purposes},
  institution = {{CERN}},
  year = {2014},
  type = {Internal Note},
  number = {CERN-ACC-NOTE-2014-0037},
  url = {http://cds.cern.ch/record/1708853/files/Internal%20Note.pdf},
  bib-link = {CERN-ACC-NOTE-2014-0037.bib},
  mtmt = {2768063},
}