Отправить по sms: Model checking a self-stabilizing distributed clock synchronization protocol for arbitrary digraphs / Mahyar R. Malekpour.