Dependable network computing (Kluwer, 2000)