Nazarov, Vladimir, and Anatoly Shalyto. 2026. “Validation of Automata Specifications Based on Automata Composition”. Information and Control Systems, no. 5 (November), 21-36. https://doi.org/10.31799/1684-8853-2026-5-21-36.