TY  - GEN
A1  - Glatz, Bernd
A1  - Cleary, Fionn
A1  - Horauer, Martin
A1  - Schuster, Harald
A1  - Balog, Peter
T1  - Complementing Testing of IEC61499 Function Blocks with Model-Checking
KW  - Embedded Systems
Y1  - 2018
ER  -