Распределенные алгоритмы и их верификация с помощью Byzantine model checker. JMMCS 2018, 92 (4), 70-79.