Nazarov, V.; Shalyto, A. Validation of Automata Specifications Based on Automata Composition. ICS 2026, 21-36.