Distributed algorithms and their verification with Byzantine model checker. Journal of Mathematics Mechanics and Computer Science, v. 92, n. 4, p. 70–79, 18 Jul.2018.