@TechReport{Gueckel14,
  author      = {Dominique G{\"u}ckel},
  title       = {{S}ynthesis of {S}tate {S}pace {G}enerators for {M}odel {C}hecking {M}icrocontroller {C}ode},
  institution = {RWTH Aachen},
  keywords    = {formal verification, model checking, hardware description, retargeting, embedded software},
  year        = {2014},
  number      = {AIB-2014-15},
  month       = {November},
  url         = {http://aib.informatik.rwth-aachen.de/2014/2014-15.pdf}
}