Text this: Sufficiency and necessity in reliability modeling : NAG-1-755 progress report / Robert Geist.