“Distributed algorithms and their verification with Byzantine model checker” (2018) Journal of Mathematics Mechanics and Computer Science, 92(4), pp. 70–79. Available at: https://bm.kaznu.kz/index.php/kaznu/article/view/455 (Accessed: 13 July 2026).