SMS versenden: Reliability evaluation of some fault-tolerant computer architectures / Shunji Osaki, Toshihiko Nishio.