A novel probabilistic approach to counterfactual reasoning in system safety · Study