Model-based Testing of Practical Distributed Systems in Actor Model. - Ilya Kokorin; Evgeny Chernatskiy; Vitaly Aksenov (CoRR, 2025)