@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}
}
@article{ReinbacherHorauerSchlichetal.,
  author    = {Reinbacher, Thomas and Horauer, Martin and Schlich, Bastian and Brauer, J{\"o}rg and Scheuer, Florian},
  title     = {Model Checking Embedded Software of an Industrial Knitting Machine},
  series = {International Journal on Information Technology, Communications, and Convergence, Inderscience, Vol. 1, No. 2},
  journal   = {International Journal on Information Technology, Communications, and Convergence, Inderscience, Vol. 1, No. 2},
  number    = {Vol. 1, No. 2},
  pages     = {pp. 186-205},
  subject      = {Model Checking},
  language  = {de}
}
@article{HorauerZaunerSchuster,
  author    = {Horauer, Martin and Zauner, Martin and Schuster, Harald},
  title     = {A System-level Test for Automotive Communication Subsystems},
  series = {e\&i, Elektrotechnik und Informationstechnik, Heft 6.2011},
  journal   = {e\&i, Elektrotechnik und Informationstechnik, Heft 6.2011},
  number    = {Heft 6.2011},
  pages     = {S. 215-221},
  subject      = {Automotive},
  language  = {en}
}
@article{MilbredtHorauerReif,
  author    = {Milbredt, Paul and Horauer, Martin and Reif, Konrad},
  title     = {Wakeup and Startup of FlexRay Cross Linkings},
  series = {ATZ Elektronik},
  journal   = {ATZ Elektronik},
  pages     = {30 -- 32},
  subject      = {Collision Avoidance},
  language  = {en}
}
@article{ArmengaudSteiningerHorauer,
  author    = {Armengaud, Eric and Steininger, Andreas and Horauer, Martin},
  title     = {Towards a Systematic Test for Embedded Automotive Communication Systems},
  series = {IEEE Transactions on Industrial Informatics},
  volume    = {4},
  journal   = {IEEE Transactions on Industrial Informatics},
  number    = {3},
  pages     = {146 -- 155},
  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}
}
@article{HorauerWidhalmTauneretal.,
  author    = {Horauer, Martin and Widhalm, Dominik and Tauner, Stefan and Mirtl, Stefan},
  title     = {Verification challenges of complex system-on-chip devices},
  series = {e \& i Elektrotechnik und Informationstechnik: Volume 132, Issue 6 (2015)},
  journal   = {e \& i Elektrotechnik und Informationstechnik: Volume 132, Issue 6 (2015)},
  number    = {e \& i Elektrotechnik und Informationstechnik: Volume 132, Issue 6 (2015)},
  pages     = {Page 269-273},
  subject      = {Embedded Systems},
  language  = {en}
}