(Safeware: System Safety and Computers, Addison-Wesley, 1995)
