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