A Cyber Topology Model for the Texas 2000 Synthetic Electric Power Grid | IEEE Conference Publication | IEEE Xplore