@misc{GlatzClearyHoraueretal.,
  author    = {Glatz, Bernd and Cleary, Fionn and Horauer, Martin and Schuster, Harald and Balog, Peter},
  title     = {Complementing Testing of IEC61499 Function Blocks with Model-Checking},
  subject      = {Embedded Systems},
  language  = {en}
}
@misc{GlatzSchusterHoraueretal.,
  author    = {Glatz, Bernd and Schuster, Harald and Horauer, Martin and Rauscher, Thomas and Obermaisser, Roman},
  title     = {Fault Injection for IEC 61499 Applications},
  subject      = {Embedded Systems},
  language  = {en}
}
@misc{GlatzBenederHoraueretal.,
  author    = {Glatz, Bernd and Beneder, Roman and Horauer, Martin and Rauscher, Thomas},
  title     = {Deadlock Detection Runtime Service for Embedded Linux},
  subject      = {Linux},
  language  = {en}
}