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