The infeasibility of experimental quantification of life-critical software reliability. - Ricky W. Butler; George B. Finelli (SIGSOFT, 1991)

The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software. - Ricky W. Butler; George B. Finelli (IEEE Trans. Software Eng., 1993)