Ricky W. Butler George B. Finelli The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software. 3-12 http://www.computer.org/tse/ts1993/e0003abs.htm 1993 19 IEEE Trans. Software Eng. 1 db/journals/tse/tse19.html#ButlerF93