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