1. Nazarov V., Shalyto A. Validation of automata specifications based on automata composition // Information and Control Systems. 2026. № 5. C. 21-36.