Text this: Validation methods research for fault-tolerant avionics and control systems :