Describir: Advances in ultra dependable distributed systems /