Computer generated Lyapunov functions for interconnected systems: Improved results with applications to power systems | IEEE Conference Publication | IEEE Xplore