Foundations of Dependable Computing door Gary M. Koob