Tianning She, Zhishan Guo, Qijun Gu, Kecheng Yang: Reserving Processors by Precise Scheduling of Mixed-Criticality Tasks. RTCSA 2021: 103-108