Wichmann, Brian A. Software in Safety-Related Systems - John Wiley & Sons 1992 - 223p. ISBN: 0471934747