@article{JoergesMargariaSteffen2011,
  author    = {Sven J{\"o}rges and Tiziana Margaria and Bernhard Steffen},
  title     = {Assuring property conformance of code generators via model checking},
  journal   = {Formal aspects of computing : the international journal of formal methods},
  volume    = {23},
  number    = {5},
  pages     = {589 -- 606},
  doi       = {10.1007/s00165-010-0169-9},
  year      = {2011},
}