Email Record: Validation Methods for Fault-Tolerant Avionics and Control Systems :