1. Shpakov Situation specifications of hybrid reactive system simulation models // SPIIRAS Proceedings. 2002. № 1 (2). C. 212-222.