Foundations of dependable computing (Kluwer, 1994)