Satisfying Safety Goals by Probabilistic Risk Assessment