Software for dependable systems sufficient evidence? (National Academies Press, 2007)
Includes bibliographical references (p. 110-116)