Department of Systems and Computer Science, Università di Firenze Via di S. Marta 3, 50139-I Firenze, Italy. vullo@dsi.unifi.it|Department of Systems and Computer Science, Università di Firenze Via di S. Marta 3, 50139-I Firenze, Italy. vullo@dsi.unifi.it