Safeware system safety and computers - Leveson, Nancy Gail (Addison-Wesley, 1995)