ШПАКОВ,. Ситуационные спецификации имитационных моделей гибридных реактивных систем. Труды СПИИРАН, v. 2, n. 1, p. 212-222, 1 abr. 2002.