Chuancai Gu, Nan Guan, Qingxu Deng, Wang Yi: Partitioned mixed-criticality scheduling on multiprocessor platforms. DATE 2014: 1-6