@misc{indiciae11edd6c9901a,
  title = {Product-oriented Software Certification Process for Software Synthesis},
  author = {Nelson, Stacy and Fischer, Bernd and Denney, Ewen and Schumann, Johann and Richardson, Julian and Oh, Phil},
  year = {2004},
  url = {https://ntrs.nasa.gov/citations/20040034049},
  note = {Source identifier: 20040034049}
}