M. Mar Gallardo Melgarejo Full Professor 952 132 797 mdgallardo@uma.es Personal Website Smart Connected Industry Model based Specification, Analysis and Testing