The Design Concepts and Operational Results of Fault-tolerant Computer Systems for the Shinkansen Tr | IEEE Conference Publication | IEEE Xplore