Drupal-Bibcite<style face="normal" font="default" size="100%">An Integrated Framework for Combining Global and Local Analysis in Diagnosing Hybrid Systems</style>