Fault Tolerant Sequential Machines

John F. Meyer. Fault Tolerant Sequential Machines. IEEE Transactions on Computers, 20(10):1167-1177, 1971. [doi]