"Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective" - читать интересную книгу автора (Denis Besnard, Cristina Gacek, Cliff Jones)