Title: Using formal methods to assist in the requirements analysis of the Space Shuttle GPS change request
Subjects: Computer programs, Electronic equipment, Formalism, Global Positioning System, Space navigation, Space shuttle missions, Space shuttles, Verification