Qualitative event-based diagnosis applied to a spacecraft electrical power distribution system | Publicación