Denis Besnard, Cristina Gacek, Cliff B. Jones Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective - New York Springer US 2006 ISBN: 978-1-84628-111-2 Subjects--Topical Terms: Computer Science