Text this: Validation methods research for fault-tolerant avionics and control systems sub-working group meeting :