Fault-tolerant Distributed Systems