Daigle, M., I. Roychoudhury, G. Biswas, X. Koutsoukos, A. Patterson-Hine, and S. Poll,
"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, vol. 40, no. 5, pp. 917-931, 2010.