Foundations of Dependable Computing: Models and Frameworks for Dependable Systems (Paperback, Softcover Repri)