Foundations of Dependable Computing Models and Frameworks for Dependable Systems. (Springer US, 1994)