Bektemessov, A. T., A. Zh. Burlibaev, and F. A. Iliyaletdinov. 2018. “Distributed Algorithms and Their Verification With Byzantine Model Checker”. Journal of Mathematics, Mechanics and Computer Science 92 (4):70-79. https://bm.kaznu.kz/index.php/kaznu/article/view/455.