@article{ReinbacherBrauerHoraueretal.2014,
  author    = {Thomas Reinbacher and J{\"o}rg Brauer and Martin Horauer and Andreas Steininger and Stefan Kowalewski},
  title     = {Runtime verification of microcontroller binary code},
  journal   = {Elsevier Science of Computer Programming, Volume 80, Part A},
  number    = {Elsevier Science of Computer Programming, Volume 80, Part A},
  year      = {2014},
}