Foundations of Dependable Computing Paradigms for Dependable Applications - Koob, Gary M.; Lau, Clifford G. (Springer US, 1994)