Paula Muñoz Ariza Atenea Research Group Predoctoral Researcher paulam@lcc.uma.es Personal Website Líneas de Investigación principales: Especificaciones, Análisis y Ensayos basados en Modelos Industria Conectada Inteligente