A Comprehensive Diagnosis Methodology for Complex Hybrid Systems: A Case Study on Spacecraft Power Distribution Systems | IEEE Journals & Magazine | IEEE Xplore