@inproceedings{ReinbacherGueckelHorauer2011,
  author    = {Thomas Reinbacher and Dominique G{\"u}ckel and Martin Horauer},
  title     = {Testing Microcontroller Software Simulators},
  booktitle = {Proceedings of the 1st Workshop on Software Language Engineering for Cyber Physical Systems at Informatik 2011, Berlin, Germany, Oct. 04-07, 2011},
  year      = {2011},
}