Formal design and verification of a reliable computing platform for real-time control : phase 1 results / - Di Vito, Ben L. (National Aeronautics and Space Administration, Langley Research Center ;, 1990)