Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective - Besnard, Denis (Springer-Verlag London Limited, 2006)