Design and safety assessment of critical systems - Bozzano, Marco. (Auerbach Publications,)