Fundamentals of Dependable Computing for Software Engineers
The book describes a comprehensive dependability-engineering process and explains the roles of software and software engineers in computer system dependability. > Introduction. Errors, Faults, and Hazards.