Text this: Integrity in electronic flight control systems /