Building dependable COTS microkernel-based systems using MAFALDA. - Jean-Charles Fabre; Manuel Rodríguez 001; Jean Arlat; J.-M. Sizun (PRDC, 2000)