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