Constructions Of Strict Lyapunov Functions by Michael Malisoff & Frederic Mazenc