Title: Achieving Safety and Reliability with Computer Systems
Subjects: Engineering, Statistics, Software engineering, Mechanical engineering