Shpakov,: A case study of a hybrid logic control law application. SPIIRAS Proceedings(7), 54-63 (2008). doi:10.15622/sp.7.5