Reliable Computer Systems (Design and Evaluation, Third Edition)