Tri-Level Linear Programming Model for Automatic Load Shedding Using Spectral Clustering | IEEE Conference Publication | IEEE Xplore