Integrated Design of Normal and Fault Modes for Spacecraft Control Systems | IEEE Conference Publication | IEEE Xplore