"Software for Dependable Systems: Sufficient Evidence?" - читать интересную книгу автора (Lynette I. Millett)