Liapunov functions and stability in control theory (Springer, 2005)