@article{ReinbacherBrauerHoraueretal.,
  author    = {Reinbacher, Thomas and Brauer, J{\"o}rg and Horauer, Martin and Steininger, Andreas and Kowalewski, Stefan},
  title     = {Runtime verification of microcontroller binary code},
  series = {Elsevier Science of Computer Programming, Volume 80, Part A},
  journal   = {Elsevier Science of Computer Programming, Volume 80, Part A},
  number    = {Elsevier Science of Computer Programming, Volume 80, Part A},
  pages     = {pp. 109-129},
  subject      = {Microcontroller},
  language  = {en}
}