These specifications and proofs in PVS support the paper, "A Unified
submitted to Formal Techniques in
Fault-Tolerant and Real-Time Systems (FTRTFT), 2004.
Email the Corresponding Author, Paul Miner, at firstname.lastname@example.org with any
questions or inquiries.
Curator and Responsible NASA Official: Lee Pike
larc privacy statement
last modified: 04 May 2004