Analysis and Design of Fault-Tolerant Scheduling for Real-Time Tasks on Earth-Observation Satellites | IEEE Conference Publication | IEEE Xplore