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

An experience report on requirements reliability engineering using formal methods. - David Hamilton; Richard Covington; Alice T. Lee (ISSRE, 1995)