Author: Validation Methods for Fault-Tolerant Avionics and Control Systems - Working Group Meeting (1st 1979 Langley Research Center)