Software in safety-related systems /
Wichmann, Brian A.
Chichester : Wiley,
c1992.