А. С. Гейда, И. В. Лысенко, “Автоматизация решения задач исследования потенциала систем и эффективности их функционирования”, Тр. СПИИРАН, 22 (2012), 260–281