Splitting strategies for islanding operation of large-scale power systems using OBDD-based methods | IEEE Journals & Magazine | IEEE Xplore