@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}
}