Michael Allan Friedman
-
Software safety: why, what, and how
ACM Computing Surveys (CSUR)
Software safety in embedded computer systems
Communications of the ACM