Eftime, P.; Mogoşanu, L.; Carabaş, M.; Deaconescu, R.; Gheorghe, L.; Voiculescu, V. G. Optimizing Memory Usage in L4-Based Microkernel. Comput. Inform. 2017, 36, 925-949.