satisfying safety goals by probabilistic risk assessment

hiromitsu kumamoto · springer verlag