Shpakov, 2002. Situation specifications of hybrid reactive system simulation models. SPIIRAS Proceedings. 2, 1 (Apr. 2002), 212-222. DOI:https://doi.org/10.15622/sp.1.14.