Istituto per le Applicazioni del Calcolo M, Picone, Consiglio Nazionale delle Ricerche (CNR), c/o IASI-CNR, V,le Manzoni 30, 00185 - Rome, Italy. valentina.baldazzi@inria.fr|Istituto per le Applicazioni del Calcolo M, Picone, Consiglio Nazionale delle Ricerche (CNR), c/o IASI-CNR, V,le Manzoni 30, 00185 - Rome, Italy. valentina.baldazzi@inria.fr|Istituto per le Applicazioni del Calcolo M, Picone, Consiglio Nazionale delle Ricerche (CNR), c/o IASI-CNR, V,le Manzoni 30, 00185 - Rome, Italy. valentina.baldazzi@inria.fr|Istituto per le Applicazioni del Calcolo M, Picone, Consiglio Nazionale delle Ricerche (CNR), c/o IASI-CNR, V,le Manzoni 30, 00185 - Rome, Italy. valentina.baldazzi@inria.fr