Nazarov, V., and A. Shalyto. “Validation of Automata Specifications Based on Automata Composition”. Information and Control Systems, no. 5, Nov. 2026, pp. 21-36, DOI:10.31799/1684-8853-2026-5-21-36.