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