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