Title: Finite-state analysis of space shuttle contingency guidance requirements
Subjects: Computer programs, Guidance systems, Space shuttles, Space vehicles