@article {4376,
	title = {A Comprehensive Diagnosis Methodology for Complex Hybrid Systems: A Case Study on Spacecraft Power Distribution Systems},
	journal = {IEEE Transactions on System, Man, and Cybernetics, Part A},
	volume = {40},
	number = {5},
	year = {2010},
	pages = {917-931},
	author = {Daigle, Matthew and Roychoudhury, Indranil and Biswas, Gautam and Koutsoukos, Xenofon and Patterson-Hine, Ann and Poll, Scott}
}
