Visit NAP.edu/10766 to get more information about this book, to buy it in print, or to download it as a free PDF. How can software and the systems that rely on it be made dependable in a ...