Design of dependable computing systems - Geffroy, Jean-Claude (Kluwer Academic Publishers, 2002)