Summary of a workshop on software certification and dependability (National Academies Press, 2004)
Includes bibliographical references