@misc{indiciae068e8aca5740,
  title = {Behavior Computation for Smart Grid Software Analysis},
  author = {Linger, Richard C and Pleszkoch, Mark G and Prowell, Stacy J and Sayre, Kirk D},
  year = {2011},
  doi = {10.1145/2179298.2179354},
  url = {https://www.osti.gov/biblio/1334417},
  note = {Source identifier: 1334417}
}