Foundations of Dependable Computing by Gary M. Koob