Satisfying Safety Goals by Probabilistic Risk Assessment | EKB DL