Shpakov,. A Case Study of a Hybrid Logic Control Law Application. SP 2008, 54-63.