3 Rickard Svenningsson Henrik Eriksson Jonny Vinter Martin Törngren 2010 Model-Implemented Fault Injection for Hardware Fault Simulation MoDeVVa 2010