Foundations of Dependable Computing, Models and Frameworks for Dependable Systems door