Satisfying Safety Goals by Probabilistic Risk Assessment by Hiromitsu Kumamoto