Software In Safety-Related Systems by Brian A. Wichmann