3 Rickard Svenningsson Jonny Vinter Henrik Eriksson Martin Törngren 2010 MODIFI – A MODel-Implemented Fault Injection Tool Safecomp 2010