Fault Diagnosis for Aircraft System Models