@inproceedings{ReinbacherBrauerHoraueretal.2011,
  author    = {Thomas Reinbacher and J{\"o}rg Brauer and Martin Horauer and Andreas Steininger and Stefan Kowalewski},
  title     = {Past Time LTL Runtime Verification for Microcontroller Binary Code},
  booktitle = {Proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS Lecture Notes in Computer Science, Trento, Italy, Aug. 29-30, 2011},
  pages     = {37 -- 51},
  year      = {2011},
}