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