Шалыто, А. А., Царев, Ф. Н. и Егоров, К. В. (2010) Совместное применение генетического программирования и верификации для построения автоматов управления системами со сложным поведением, Труды СПИИРАН, 4(15), сс. 123-135. DOI: 10.15622/sp.15.7.