Гейда, А. С. и Лысенко, И. В. (2012) Автоматизация решения задач исследования потенциала систем и эффективности их функционирования, Труды СПИИРАН, 3(22), сс. 260-281. DOI: 10.15622/sp.22.15.