"Satisfying Safety Goals by Probabilistic Risk Assessment" - читать интересную книгу автора (Hiromitsu Kumamoto)