Qualitative Event-based Diagnosis with Possible Conflicts Applied to Spacecraft Power Distribution Systems | Publicación