Describir: Measurement, Modelling, and Evaluation of Computing Systems and Dependability in Fault Tolerance