Paulo Veríssimo Michel Raynal Time in Distributed System Models and Algorithms. 1-32 1999 conf/ac/1999dc Advances in Distributed Systems http://dx.doi.org/10.1007/3-540-46475-1_1 db/conf/ac/dc1999.html#VerissimoR99