Gianluigi Alari Augusto Ciuffoletti Implementing a Probabilistic Clock Synchronization Algorithm. 25-46 1997 13 Real-Time Systems 1 db/journals/rts/rts13.html#AlariC97