Reliability of safety-critical systems : theory and applications - Rausand, Marvin (Wiley, 2013)