Pedro Merino Gómez Full Professor 952 131 397 director@itis.uma.es Personal Website Smart Connected Industry Model based Specification, Analysis and Testing 5G/6G networks defined by Software