Describir: Fault-tolerant system