Шпаков,: Ситуационные спецификации имитационных моделей гибридных реактивных систем. Труды СПИИРАН 2(1), 212-222 (2002). doi:10.15622/sp.1.14