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