Logical Lyapunov functions for analysis of dynamic behavior of hybrid models of switching circuits. - P. K. Kuznetsov; A. V. Lakeyev; Stanislav N. Vassilyev (SMC, 1998)