Manuel Fernández Bertoa Atenea Research Group Contracted Lecturer, PhD 952 137 232 bertoa@lcc.uma.es Personal Website Líneas de Investigación principales: Especificaciones, Análisis y Ensayos basados en Modelos