Tool-assisted Threat Modeling for Smart Grid Cyber Security | IEEE Conference Publication | IEEE Xplore