P. Eftime, L. Mogoşanu, M. Carabaş, R. Deaconescu, L. Gheorghe, and V. G. Voiculescu, “Optimizing Memory Usage in L4-Based Microkernel”, Comput. Inform., vol. 36, no. 4, pp. 925–949, Nov. 2017.