https://123dok.net/document/y4wmwe9r-specification-verification-various-distributed-election-algorithm-unidirectional-networks.html