fayllar.org//algorithms-for-synchronous-networks-etienne-renault.html