An Introduction to System Safety Engineering - Leveson (IEEE, 2003)