System Reliability Theory by A. Hoyland & A. Rausand