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