Nazarov, Vladimir, and Anatoly Shalyto. “Validation of Automata Specifications Based on Automata Composition”. Information and Control Systems, no. 5 (November 12, 2026): 21-36. Accessed November 14, 2026. https://i-us.ru/index.php/ius/article/view/16602.