Correctness of a Fault-Tolerant Real-Time Scheduler and its Hardware Implementation | IEEE Conference Publication | IEEE Xplore