High-Assurance Smart Grid: A Three-Part Model for Smart Grid Control Systems

Thomas M. Overman, Ronald W. Sackman, Terry Davis, Brad Cohen. High-Assurance Smart Grid: A Three-Part Model for Smart Grid Control Systems. Proceedings of the IEEE, 99(6):1046-1062, 2011. [doi]

Abstract

Abstract is missing.