Describir: Fault-tolerant parallel and distributed systems /