Constructions of strict lyapunov functions (2009)