Machine generated authority record.
Work cat.: (OSt)9000: Kumamoto H 30661, Satisfying Safety Goal by Probabilistic Risk Assessment: Springer Series in Reliability Engineering