Title: Model Checking a Self-Stabilizing Distributed Clock Synchronization Protocol for Arbitrary Digraphs