1. Shpakov A case study of a hybrid logic control law application // SPIIRAS Proceedings. 2008. № 7. C. 54-63.