@inproceedings{ReinbacherKramerHoraueretal.2008,
  author    = {Thomas Reinbacher and Michael Kramer and Martin Horauer and Bastian Schlich},
  title     = {Motivating Model Checking of Embedded Systems Software},
  booktitle = {EEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, 12-15, 2008, Beijing, China},
  pages     = {546 -- 551},
  year      = {2008},
}