Especificaciones, Análisis y Ensayos basados en Modelos