High assurance smart grid. - Thomas M. Overman; Terry Davis; Ronald W. Sackman (CSIIRW, 2010)

High-Assurance Smart Grid: A Three-Part Model for Smart Grid Control Systems. - Thomas M. Overman; Ronald W. Sackman; Terry Davis; Brad Cohen (Proc. IEEE, 2011)