Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective

Denis Besnard , Cristina Gacek , Cliff Jones