Scheduling Mixed-Criticality Real-Time Tasks in a Fault-Tolerant System. - Jian (Denny) Lin; Albert M. K. Cheng; Doug Steel; Michael Yu-Chi Wu; Nanfei Sun (Int. J. Embed. Real Time Commun. Syst., 2015)