Reliability of safety-critical systems : theory and application - Rausand, Marvin (Wiley, 2014)