2018. Distributed algorithms and their verification with Byzantine model checker. Journal of Mathematics Mechanics and Computer Science. 92, 4 (Jul. 2018), 70–79.