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