* Francesco Cerasuolo (francesco.cerasuolo@isti.cnr.it), CNR Pisa, 
Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo". 
* Federico De Faveri (federico.defaveri@isti.cnr.it), CNR Pisa,
Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo". 