[1]
Shpakov, 2007. A Situation-Event Approach to Hybrid Processes Specifications. SPIIRAS Proceedings. 4 (Aug. 2007), 291-300. DOI:https://doi.org/10.15622/sp.4.22.