Stav dette: Model checking a self-stabilizing distributed clock synchronization protocol for arbitrary digraphs / Mahyar R. Malekpour.