A binary formulation of SAIDI for the predictive reliability assessment of radial distribution systems with tie-lines | IEEE Conference Publication | IEEE Xplore