Jesse H. Poore Harlan D. Mills David Mutchler Planning and Certifying Software System Reliability. 88-99 1993 10 IEEE Software 1 db/journals/software/software10.html#PooreMM93