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