Average probability of a dangerous failure on demand: Different modelling methods, similar results · Study