State space formulation and transient stability of the double output asynchronous generator | IEEE Journals & Magazine | IEEE Xplore