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