Average probability of a dangerous failure on demand: Different modelling methods, similar results. - Florent Brissaud; Fernando Luiz (CoRR, 2015)