@misc{GlatzClearyHoraueretal.2018,
  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},
  institution = {Department Electronic Engineering},
  type      = {vortrag},
  year        = {2018},
}