CoMik: A predictable and cycle-accurately composable real-time microkernel | IEEE Conference Publication | IEEE Xplore