@inproceedings { 205, title = {Generic Fault Modelling for Fault Injection}, booktitle = {FMCO 2010}, year = {2011}, author = {Rickard Svenningsson and Henrik Eriksson and Jonny Vinter and Martin Törngren} }