Resource Sharing in Multicore Mixed-Criticality Systems: Utilization Bound and Blocking Overhead. - Han, Jian-Jun; Tao, Xin; Zhu, Dakai; Yang, Laurence T. (IEEE Trans. Parallel Distributed Syst., 2017)