Design and Safety Assessment of Critical Systems - Marco Bozzano; Adolfo Villafiorita (Taylor and Francis, 2010)