Shpakov,. “A Case Study of a Hybrid Logic Control Law Application”. SPIIRAS Proceedings, no. 7, Apr. 2008, pp. 54-63, DOI:10.15622/sp.7.5.