Synthesis of state space generators for model checking microcontroller code

@PHDTHESIS{Gckel:464374,
      author       = {Gückel, Dominique},
      othercontributors = {Kowalewski, Stefan},
      title        = {{S}ynthesis of state space generators for model checking
                      microcontroller code},
      volume       = {2014,15},
      school       = {Aachen, Techn. Hochsch.},
      address      = {Aachen},
      publisher    = {Fachgruppe Informatik, RWTH Aachen University},
      series       = {Aachener Informatik-Berichte Technical report / Department
                      of Computer Science, RWTH Aachen},
      pages        = {XI, 181 S. : Ill., graph. Darst.},
      year         = {2014},
      note         = {Druck-Ausgabe: 2014. - Online-Ausgabe: 2015. Auch
                      veröffentlicht auf dem Publikationsserver der RWTH Aachen
                      University.; Aachen, Techn. Hochsch., Diss., 2014},
      keywords     = {Mikrocontroller (SWD) / Eingebettetes System (SWD) /
                      Informatik (SWD)},
      cin          = {122810 / 120000},
      ddc          = {Informatik},
      cid          = {$I:(DE-82)122810_20140620$ / $I:(DE-82)120000_20140620$},
      typ          = {PUB:(DE-HGF)11},
      urn          = {urn:nbn:de:hbz:82-opus-52966},
      url          = {https://publications.rwth-aachen.de/record/464374},
}