Email Record: Validation Methods for Fault-Tolerant Avionics and Control Systems--Working Group Meeting I :