Fault-tolerant computer system design | Synapse