Zaslat SMS: Advances in ultra-dependable distributed systems /