Towards Fault-Tolerant Real-Time Scheduling in the seL4 Microkernel. - Libin Xu; Yuebin Bai; Kun Cheng; Lingyu Ge; Danning Nie; Lijun Zhang; Wenjia Liu (HPCC/SmartCity/DSS, 2016)