Title: Finite-State Analysis of Space Shuttle Contingency Guidance Requirements