Bi-Level Linear Programming Model for Automatic Load Shedding: A Distributed Wide-Area Measurement System-based Solution | IEEE Conference Publication | IEEE Xplore