Stav dette: Advances in ultra-dependable distributed systems /