Antonio Vallecillo Moreno Full Professor 952 132 794 av@uma.es Personal Website Smart Connected Industry Model based Specification, Analysis and Testing