High Assurance Smart Grid: Smart Grid Control Systems Communications Architecture | IEEE Conference Publication | IEEE Xplore