Design and safety assessment of critical system - Bozzano, Marco; Villafiorita Adolfo (Auerbach Publications, 2011)