Title: Fault tolerant strategies for digital aircraft control systems