Распределенные алгоритмы и их верификация с помощью Byzantine model checker. Вестник КазНУ. Серия математика, механика, информатика, v. 92, n. 4, p. 70–79, 18 июл.2018.