An Automated Code-Based Fault-Tree Mitigation Technique.

Jeffrey M. Voas, Keith W. Miller

Browse the full SAFECOMP paper archive.