Zhuo Cheng, Haitao Zhang, Yasuo Tan, Yuto Lim: SMT-based scheduling for multiprocessor real-time systems. ICIS 2016: 1-7