@misc{indiciaeeb42f15146ac,
  title = {VADER: A Tool for Criticality Safety Validation},
  author = {Hart, Shane W.D. and Wieselquist, William A. and Marshall, William J. and Clarity, Justin B.},
  year = {2020},
  doi = {10.13182/t123-33079},
  url = {https://www.osti.gov/biblio/1760137},
  note = {Source identifier: 1760137}
}