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