NAZAROV, V.; SHALYTO, A. Validation of automata specifications based on automata composition. Information and Control Systems, n. 5, p. 21-36, 12 nov. 2026.