Antonio Vallecillo Moreno Former Member av@uma.es Personal Website Smart Connected Industry Model based Specification, Analysis and Testing