Email Record: Correctness proof of a self-stabilizing distributed clock synchronization protocol for arbitrary digraphs /