Reliability in computer system design by Balbir Dhillon