@misc{indiciaebcf4834daa50,
  title = {Quantitative Analysis Guidance in Safety Software Validation},
  author = {Armstrong, Kenneth and Chow, Kwok Ivan and Gailliard, Damien and Safabash, Manda},
  year = {2016},
  url = {https://www.osti.gov/biblio/23042610},
  note = {Source identifier: 23042610}
}