Comparison of Fault-Tree Models for Fault Detection, Isolation, and Recovery Algorithms. - Tszhim J. Leung; Jason H. Rife; Peter J. Seiler; Raghu Venkataraman (J. Aerosp. Inf. Syst., 2017)