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