Fault diagnosis algorithm and automated reasoning method for fault analysis | IEEE Conference Publication | IEEE Xplore