Shpakov. 2008. “A Case Study of a Hybrid Logic Control Law Application”. SPIIRAS Proceedings, no. 7 (April), 54-63. https://doi.org/10.15622/sp.7.5.