"Summary of a Workshop on Software Certification and Dependability" - читать интересную книгу автора (Committee on Certifiably Dependable Software Systems, National Research Council)