ШАЛЫТО, А. А.; ЦАРЕВ, Ф. Н.; ЕГОРОВ, К. В. Совместное применение генетического программирования и верификации для построения автоматов управления системами со сложным поведением. Труды СПИИРАН, v. 4, n. 15, p. 123-135, 1 dez. 2010.