Software Test Techniques for System Fault-Tree Analysis. - John C. Knight; Luís G. Nakano (SAFECOMP, 1997)