@inproceedings{GlatzClearyHoraueretal.2016,
  author    = {Bernd Glatz and Fionn Cleary and Martin Horauer and Harald Schuster and Peter Balog},
  title     = {Complementing Testing of IEC61499 Function Blocks with Model-Checking},
  booktitle = {Proceedings of the 12th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, (MESA2016), Auckland, New Zealand, 29-31 August 2016},
  year      = {2016},
}