@inproceedings{ReinbacherBrauerHoraueretal.,
  author    = {Reinbacher, Thomas and Brauer, J{\"o}rg and Horauer, Martin and Steininger, Andreas and Kowalewski, Stefan},
  title     = {Past Time LTL Runtime Verification for Microcontroller Binary Code},
  series = {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},
  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},
  subject      = {Embedded Systems},
  language  = {en}
}
@inproceedings{ReinbacherHorauer,
  author    = {Reinbacher, Thomas and Horauer, Martin},
  title     = {Formale Verifikation von Embedded Systems Software},
  series = {Informationstagung Mikroelektronik (ME 2010), Vienna, Austria, April 7-8, 2010},
  booktitle = {Informationstagung Mikroelektronik (ME 2010), Vienna, Austria, April 7-8, 2010},
  pages     = {289 -- 296},
  subject      = {Embedded Systems},
  language  = {en}
}
@article{FibichTaunerRoessleretal.,
  author    = {Fibich, Christian and Tauner, Stefan and R{\"o}ssler, Peter and Horauer, Martin and Matschnig, Martin and Taucher, Herbert},
  title     = {FIJI - Fault InJection Instrumenter},
  series = {EURASIP Journal on Embedded Systems},
  volume    = {2019},
  journal   = {EURASIP Journal on Embedded Systems},
  number    = {Februar 2019},
  pages     = {19},
  subject      = {Fault injection},
  language  = {en}
}