Reliability in computer system design - Dhillon, B. S. (Ablex series in software engineering, 1987)