Logic-based supervised zone 3 decision using wide area information | IEEE Conference Publication | IEEE Xplore