TY - GEN A1 - Schuster, Harald A1 - Horauer, Martin A1 - Kramer, Michael A1 - Liebhart, Heinz A1 - Büger, Josef T1 - A Log-Tool Suite for Embedded Systems KW - Embedded Systems Y1 - ER - 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 - TY - GEN A1 - Glatz, Bernd A1 - Schuster, Harald A1 - Horauer, Martin A1 - Rauscher, Thomas A1 - Obermaisser, Roman T1 - Fault Injection for IEC 61499 Applications KW - Embedded Systems Y1 - 2018 ER -