@misc{indiciae801c2f8eed8f,
  title = {Automated Vulnerability Detection for Compiled Smart Grid Software},
  author = {Prowell, Stacy J and Pleszkoch, Mark G and Sayre, Kirk D and Linger, Richard C},
  year = {2012},
  url = {https://www.osti.gov/biblio/1049792},
  note = {Source identifier: 1049792}
}