Airbus Electrical Flight Controls:: A Family of Fault-Tolerant Systems