Continuous clock amortization need not affect the precision of a clock synchronization algorithmFrank SchmuckFlaviu Cristian1990PODC 1990
A Rigorous Approach to Fault-Tolerant ProgrammingFlaviu Cristian1985IEEE Transactions on Software Engineering