V. Nazarov and A. Shalyto, “Validation of automata specifications based on automata composition”, ICS, no. 5, pp. 21-36, Nov. 2026.