Laura Panizo Jaime Assistant Professor 951 952 955 laurapanizo@uma.es Personal Website Model based Specification, Analysis and Testing Testing Methodologies for Mobile Networks