Bektemessov, A.T., Burlibaev, A.Z. and Iliyaletdinov, F.A. 2018. Distributed algorithms and their verification with Byzantine model checker. Journal of Mathematics, Mechanics and Computer Science. 92, 4 (Jul. 2018), 70–79.