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