Describir: Diagnosis and Fault-Tolerant Control