How to Design Reliable Servers using Fault Tolerant Micro-Kernel Mechanisms. - Michel Banâtre; Gilles Muller; Pack Heng; Bruno Rochat (USENIX MACH Symposium, 1991)

An Experience in the Design of a Reliable Object Based System (Synopsis). - Michel Banâtre; Pack Heng; Gilles Muller; Nadine Peyrouze; Bruno Rochat (PDIS, 1993)