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