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