Institute for Informatics and Telematics, CNR, Pisa, Italy.|Department of Computer Science, University of Liverpool, Liverpool, UK.|Institute for Informatics and Telematics, CNR, Pisa, Italy.|Institute for Informatics and Telematics, CNR, Pisa, Italy.