Modélisation et validation des algorithmes non-déterministes de synchronisation des horloges. (Modelling and validation of non-deterministic clock synchronization algorithms). - Pedro Nicolau Faria Da Fonseca (1999)