A Workload Model Based Approach to Evaluate the Robustness of Real-time Operating System. - Zhengmao Zhou; Yun Zhou; Ming Cai; Lei Sun (HPCC/EUC, 2013)