1. Department of Mathematics and Computer Science, University of the Balearic Islands, Cra. Valldemossa 7.5, Palma de Mallorca, E-07122, Spain
2. Departamento de Lenguajes y Sistemas Informáticos e Ingeniería de Software, Universidad Politécnica de Madrid, Campus de Montegancedo, Boadilla del Monte, E-28660 Madrid, Spain
3. Departamento de Ingeniería de Software y Sistemas Informáticos, Universidad Nacional de Educación a Distancia, Juan del Rosal 16, Madrid, E-28040 Madrid, Spain