Paper is available on-line at [http://renpar.irisa.fr/cfse8/cfse8_01.pdf CFSE'08].