A study of system splitting strategies for island operation of power system: a two-phase method based on OBDDs | IEEE Journals & Magazine | IEEE Xplore