Fault Detection and Estimation in Spacecraft via Intermediate-Variable-Based Fault Observers | IEEE Conference Publication | IEEE Xplore