Shpakov, “A case study of a hybrid logic control law application”, SP, no. 7, pp. 54-63, Apr. 2008.