An extended BEPU approach integrating probabilistic assumptions on the availability of safety systems in deterministic safety analyses. (November 2017)