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