@misc{SchusterHorauerKrameretal., author = {Schuster, Harald and Horauer, Martin and Kramer, Michael and Liebhart, Heinz and B{\"u}ger, Josef}, title = {A Log-Tool Suite for Embedded Systems}, subject = {Embedded Systems}, language = {en} } @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} } @misc{GlatzSchusterHoraueretal., author = {Glatz, Bernd and Schuster, Harald and Horauer, Martin and Rauscher, Thomas and Obermaisser, Roman}, title = {Fault Injection for IEC 61499 Applications}, subject = {Embedded Systems}, language = {en} }