Reliable Computer Systems: Collected Papers of the Newcastle Reliability Project (Monographs in Computer Science)