Qualitative event-based diagnosis applied to a spacecraft electrical power distribution system. (May 2015)