TY - RPRT TI - Software Safety Analysis of a Flight Guidance System AU - Butler, Ricky W. AU - Tribble, Alan C. AU - Miller, Steven P. AU - Lempia, David L. PY - 2004 UR - https://ntrs.nasa.gov/citations/20040058103 ID - 20040058103 ER -