Qingguo Zhou, Rui Zhou 0005, Binbin Yong, Xiaoqiang Wang, Gaofeng Zhang, Hai Jiang, Kuan-Ching Li. L4eRTL: a robust and secure real-time architecture with L4 microkernel and para-virtualised PSE51 partitions. IJES, 9(6):583-594, 2017. [doi]
Abstract is missing.