Antonio Vallecillo Moreno Former Member Personal Website Smart Connected Industry Model based Specification, Analysis and Testing