Reliability of safety-critical systems theory and applications - Rausand, Marvin (John Wiley & Sons, Inc., 2014)