Reliability evaluation of some fault-tolerant computer architectures - Osaki, Shunji (Lecture notes in computer science ;, 1980)