Jean-Charles Fabre, Manuel Rodríguez, Jean Arlat, J.-M. Sizun: Building dependable COTS microkernel-based systems using MAFALDA. PRDC 2000: 85-94