Fault isolation methodology for the L-1011 digital avionic flight control system