Probability of Failure on Demand - The Why and the How. - Jens Braband; Rüdiger vom Hövel; Hendrik Schäbe (SAFECOMP, 2009)