Bernstein, Lawrence Trustworthy Systems Through Quantitative Software Engineering - Horboken: John Wiley and Sons. 2005 - xxv, 437 p. : ill. ; 25cm Includes bibliographical references and index ISBN: 0 471 69691 9 Subjects--Topical Terms: Software Engineering Dewey Class. No.: 005.1