Satisfying Safety Goals by Probabilistic Risk Assessment - Kumamoto, Hiromitsu (Springer London, 2007)