Foundations of Dependable Computing: Models and Frameworks for Dependable Systems (The Springer International Series in Engineering and Computer Science)