Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective - Besnard, Denis; Gacek, Cristina; Jones, Cliff B. (Springer London, 2006)