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