CoMik: A predictable and cycle-accurately composable real-time microkernel.

Andrew Nelson, Ashkan Beyranvand Nejad, Anca Mariana Molnos, Martijn Koedam, Kees Goossens

Browse the full DATE paper archive.