@article{overman_sackman_davis_cohen_2011, 
  title={High-Assurance Smart Grid: A Three-Part Model for Smart Grid Control Systems}, 
  volume={99}, 
  DOI={10.1109/jproc.2011.2112310}, 
  publisher={Institute of Electrical and Electronics Engineers (IEEE)}, 
  author={Overman and Sackman and Davis and Cohen}, 
  year={2011}
  }