3 Rickard Svenningsson Jonny Vinter Henrik Eriksson Martin Törngren 2010 Towards Fault Injection Based Minimal Cut Sets Generation