Manuel Rodríguez, Frédéric Salles, Jean-Charles Fabre, Jean Arlat. MAFALDA: Microkernel Assessment by Fault Injection and Design Aid. In Jan Hlavicka, Erik Maehle, András Pataricza, editors, Dependable Computing - EDCC-3, Third European Dependable Computing Conference, Prague, Czech Republic, September 15-17, 1999, Proceedings. Volume 1667 of Lecture Notes in Computer Science, pages 143-160, Springer, 1999. [doi]