Title: Integrity in electronic flight control systems