System reliability theory : models and statistical methods / Arnljot Høyland and Marvin Rausand