Simulation (model) based fault detection and diagnosis of a spacecraft electrical power system | IEEE Conference Publication | IEEE Xplore