M. Accetta, R. Baron, W. Bolosky, D. Golub, R. Rashid et al., Mach: A new kernel foundation for unix development, 1986.

P. Barham, B. Dragovic, K. Fraser, S. Hand, T. Harris et al., Xen and the art of virtualization, Proceedings of the nineteenth ACM symposium on Operating systems principles, 2003.

D. R. Engler, The design and implementation of a prototype exokernel operating system, 1995.

P. Gerum, Xenomai -implementing a rtos emulation framework on gnu/linux, 2004.

A. Kivity, Y. Kamay, D. Laor, U. Lublin, and A. Liguori, kvm: the Linux virtual machine monitor, Ottawa Linux Symposium, 2007.

M. Lemerre, Intégration de systèmes hétérogènes en termes de niveaux de sécurité, 2009.

M. Lemerre, V. David, G. Vidal, and . Naquet, A communication mechanism for resource isolation, Proceedings of the Second Workshop on Isolation and Integration in Embedded Systems, IIES '09, 2009.
DOI : 10.1145/1519130.1519131
URL : https://hal.archives-ouvertes.fr/hal-00471460

M. Lemerre, V. David, G. Vidal, and . Naquet, A dependable kernel design for resource isolation and protection, Proceedings of the First Workshop on Isolation and Integration in Dependable Systems (IIDS'2010, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00517703