Study of Algorithms of Real-Time Scheduling with Fault-Tolerance in Small Satellite On-Board Computer Systems | IEEE Conference Publication | IEEE Xplore