Шалыто, А. А.; Царев, Ф. Н.; Егоров, К. В. Совместное применение генетического программирования и верификации для построения автоматов управления системами со сложным поведением. ТС 2010, 4, 123-135.