@misc{indiciae19bcaa3b495d,
  title = {Non-Destructive State Machine Reverse Engineering},
  author = {Smith, Jessica L.},
  year = {2013},
  doi = {10.1109/isrcs.2013.6623762},
  url = {https://www.osti.gov/biblio/1345466},
  note = {Source identifier: 1345466}
}