@inproceedings{ReinbacherHorauer2010,
  author    = {Thomas Reinbacher and Martin Horauer},
  title     = {Formale Verifikation von Embedded Systems Software},
  booktitle = {Informationstagung Mikroelektronik (ME 2010), Vienna, Austria, April 7-8, 2010},
  pages     = {289 -- 296},
  year      = {2010},
}