Author: Validation Methods Research for Fault-Tolerant Avionics and Control Systems Sub-Working-Group Meeting (1st 1981 Research Triangle Institute)