Eftime, P. et al. 2017. Optimizing Memory Usage in L4-Based Microkernel. Computing and Informatics. 36, 4 (Nov. 2017), 925–949.