Bektemessov, A. T.; Burlibaev, A. Z.; Iliyaletdinov, F. A. Distributed Algorithms and Their Verification With Byzantine Model Checker. JMMCS 2018, 92, 70-79.