Шпаков,. Ситуационные спецификации имитационных моделей гибридных реактивных систем. ТС 2002, 2, 212-222.