Janet R. Dunham Experiments in Software Reliability: Life-Critical Applications. 110-123 1986 12 IEEE Trans. Software Eng. 1 db/journals/tse/tse12.html#Dunham86