David Powell: Failure Mode Assumptions and Assumption Coverage. FTCS 1992: 386-395