Self-healing for smart grids: Problem formulation and considerations | IEEE Conference Publication | IEEE Xplore