1. Shpakov A Situation-Event Approach to Hybrid Processes Specifications // SPIIRAS Proceedings. 2007. № 4. C. 291-300.