Describir: Building dependable distributed systems /