A novel problem formulation for directional overcurrent relay coordination | IEEE Conference Publication | IEEE Xplore