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