Информационное хранилище в автоматизированной системе испытаний и верификации математических моделей - Шерстюк; Мусаев (Труды СПИИРАН, 2007)