Dependable distributed systems