SMS dit: Sufficiency and necessity in reliability modeling NAG-1-755 progress report / Robert Geist. [microform] :