Reliability evaluation of some fault-tolerant computer architectures - Osaki, Shunji (Springer Verlag, 1980)