Nazarov, V., & Shalyto, A. (2026). Validation of automata specifications based on automata composition. Information and Control Systems, (5), 21-36. https://doi.org/10.31799/1684-8853-2026-5-21-36