Satisfying Safety Goals by Probabilistic Risk Assessment door Hiromitsu Kumamoto