A. T. Bektemessov, A. Z. Burlibaev, and F. A. Iliyaletdinov, “Distributed algorithms and their verification with Byzantine model checker”, JMMCS, vol. 92, no. 4, pp. 70–79, Jul. 2018.