Validation methods research for fault-tolerant avionics and control systems : working group meeting, II: proceedings of a working group meeting held at Langley Research Center, Hmapton, Virginia, October 3-4, 1979 - Gault, James W.; Trivedi, Kishor Shridharbhai,; Clary, James B. (NASA conference publication, 1980)