Constructions of strict Lyapunov functions - Malisoff, Michael (Communications and control engineering, 2009)