Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective - Besnard, Denis; Gacek, Cristina; Jones, Cliff B.; SpringerLink (Online service) (London : Springer-Verlag London Limited, 2006)
Keywords: Software engineering; Reliability (Engineering); Human-computer interaction