Modeling of FACTS Devices for Smart Grid State Estimation | IEEE Conference Publication | IEEE Xplore