@misc{indiciaecd4c88b4cc26,
  title = {Process Logic Verification \& Analysis.},
  author = {Hostetler, Sarah},
  year = {2016},
  url = {https://www.osti.gov/biblio/1648730},
  note = {Source identifier: 1648730}
}