@misc{indiciaefb4e7360f733,
  title = {Improved Verification for Aerospace Systems},
  author = {Powell, Mark A.},
  year = {2008},
  url = {https://ntrs.nasa.gov/citations/20090002613},
  note = {Source identifier: 20090002613}
}