Ben L. Di Vito. Formalizing New Navigation Requirements for NASA's Space Shuttle . Also Lecture Notes in Computer Science 1051, Springer. Formalizing Space Shuttle Software Requirements . Ada 95 and Safety-Critical Software .
Presentation slides are available .
NASA Technical Memorandum 110189, NASA Langley Research Center, Hampton, Virginia, September 1995. Third NASA Formal Methods Workshop 1995 . NASA Conference Publication 10176, NASA Langley Research Center, Hampton, Virginia, June 1995. Paul S. Miner. NASA Technical Memorandum 110167, NASA Langley Research Center, Hampton, Virginia, June 1995.