FADI : a fault-tolerant environment for distributed processing systems. - Taha Mohammed Osman (1998)