A quantitative risk assessment method for space flight software systems. - Alice T. Lee; Todd R. Gunn (ISSRE, 1993)