Analysis of stability problems via matrix Lyapunov functions. (1990)