A Distributed Algorithm for the Validation of Timed State Machines. - Xavier Rebeuf; G. Satriano; Françoise Simonot-Lion (OPODIS, 2002)