Structure for dependability : computer-based systems from an interdisciplinary perspective / Denis Besnard, Cristina Gacek, and Cliff B. Jones (eds.) - New York : Springer, 2006 - 305 p. : ill. ; 24 cm. ISBN: 1846281105 Subjects--Topical Terms: Software engineeringReliability (Engineering)Human--Computer interaction