An Effective RM-Based Scheduling Algorithm for Fault-Tolerant Real-Time Systems | IEEE Conference Publication | IEEE Xplore