Email Record: Model checking a self-stabilizing distributed clock synchronization protocol for arbitrary digraphs /