@misc{indiciae83a3847ac096,
  title = {Component Verification and Certification in NASA Missions},
  author = {Giannakopoulou, Dimitra and Penix, John and Norvig, Peter},
  year = {2001},
  url = {https://ntrs.nasa.gov/citations/20010095034},
  note = {Source identifier: 20010095034}
}