Provably-Stable Overload Ride-Through Control for Grid-Forming Inverters Using System-Wide Lyapunov Function Analysis | IEEE Journals & Magazine | IEEE Xplore