@inproceedings { 202, title = {Towards Fault Injection Based Minimal Cut Sets Generation}, year = {2010}, author = {Rickard Svenningsson and Jonny Vinter and Henrik Eriksson and Martin Törngren} }