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