Nazarov V, Shalyto A. Validation of automata specifications based on automata composition. ICS [Internet]. 12Nov.2026 [cited 14Nov.2026];(5):21-6. Available from: https://i-us.ru/index.php/ius/article/view/16602