Marco Bozzano & Adolfo Villafiorita 
Design and Safety Assessment of Critical Systems [PDF ebook] 

Safety-critical systems, by definition those systems whose failure can cause catastrophic results for people, the environment, and the economy, are becoming increasingly complex both in their functionality and their interactions with the environment. Unfortunately, safety assessments are still largely done manually, a time-consuming and error-prone