Computer generated Lyapunov functions for interconnected systems: Improved results with applications to power systems | IEEE Journals & Magazine | IEEE Xplore