Nathalie Moreno Vergara Atenea Research Group Contracted Lecturer, PhD 952 133 393 moreno@lcc.uma.esersonal WebsiteLíneas de Investigación principales:Especificaciones, Análisis y Ensayos basados en Modelos