Email Record: Validation methods research for fault-tolerant avionics and control systems :