Daigle, M. ., Roychoudhury, I. ., Biswas, G. ., Koutsoukos, X. ., Patterson-Hine, A. ., & Poll, S. . (2010). A Comprehensive Diagnosis Methodology for Complex Hybrid Systems: A Case Study on Spacecraft Power Distribution Systems. IEEE Transactions on System, Man, and Cybernetics, Part A, 40, 917–931.