Software for Dependable Systems by Committee on Certifiably Dependable Software Systems, National Research Council, Division on Engineering and Physical Sciences, Lynette I. Millett, Computer Science and Telecommunications Board | Lex | Lex