Universitat Politècnica de Catalunya, Barcelona, Spain;Universitat Politècnica de Catalunya, Barcelona, Spain;Dept. LCC, Universidad de Málaga, Spain;ETSI Informática, Universidad de Málaga, Málaga, Spain;Dept. Lenguajes y Ciencias de la Computación, ETSI Informática, Universidad de Málaga, Málaga, Spain;DEIS, Università di Bologna, Cesena, Italy;Université Libre de Bruxelles, Bruxelles, Belgium 1050