A simulation study of OBDD-based proper splitting strategies for power systems under consideration of transient stability | IEEE Journals & Magazine | IEEE Xplore