Title: Performance and dependability of fault-tolerant distributed systems