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