Akira Hachiga Katsuji Akita Yutaka Hasegawa The Design Concepts and Operational Results of Fault-tolerant Computer Systems for the Shinkansen Train Control. 78-87 1993 FTCS db/conf/ftcs/ftcs93.html#HachigaAH93