Añadida descripción del recalibrado formal y las estructuras de datos utilizadas en el capítulo del pryecto de investigación