An extended BEPU approach integrating probabilistic assumptions on the availability of safety systems in deterministic safety analyses | Publicación