“Distributed Algorithms and Their Verification With Byzantine Model Checker”. Journal of Mathematics Mechanics and Computer Science, vol. 92, no. 4, July 2018, pp. 70-79, https://bm.kaznu.kz/index.php/kaznu/article/view/455.