Nazarov, V. and Shalyto, A. (2026) “Validation of automata specifications based on automata composition”, Information and Control Systems, (5), pp. 21-36. DOI: 10.31799/1684-8853-2026-5-21-36.