Foundations of dependable computing. - Koob, Gary,; Lau, Clifford. (The Kluwer international series in engineering and computer science.)