Manuel Fernández Bertoa Non-tenured Associate Professor 952 137 232 mfernandez@uma.es Personal Website Model based Specification, Analysis and Testing