@inproceedings{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},
  series = {Proceedings of the 12th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, (MESA2016), Auckland, New Zealand, 29-31 August 2016},
  booktitle = {Proceedings of the 12th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, (MESA2016), Auckland, New Zealand, 29-31 August 2016},
  subject      = {Embedded Systems},
  language  = {en}
}
@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}
}
@inproceedings{GlatzSchusterHoraueretal.,
  author    = {Glatz, Bernd and Schuster, Harald and Horauer, Martin and Rauscher, Thomas and Obermaisser, Roman},
  title     = {Fault Injection for IEC 61499 Applications},
  series = {Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2016), Berlin, Germany, 2016-09-06 -- 2016-09-09},
  booktitle = {Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2016), Berlin, Germany, 2016-09-06 -- 2016-09-09},
  subject      = {Embedded Systems},
  language  = {en}
}
@inproceedings{JerabekHorauer,
  author    = {Jerabek, Thomas and Horauer, Martin},
  title     = {Static Worst-Case Execution Time Analysis Tool Development for Embedded Systems Software},
  series = {Proceedings of the 9th International Conference on Dependability (DEPEND 2016), Nice, July 2016},
  booktitle = {Proceedings of the 9th International Conference on Dependability (DEPEND 2016), Nice, July 2016},
  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{JerabekHorauer,
  author    = {Jerabek, Thomas and Horauer, Martin},
  title     = {Static Worst-Case Execution Time Analysis Tool Development for Embedded Systems Software},
  subject      = {Embedded Systems},
  language  = {de}
}