Sungyung Lim, Kam Chan: Piecewise switching-dependent Lyapunov functional for analyzing systems with hysteresis. ACC 2001: 206-211