@misc{indiciaea14cab6fcae4,
  title = {Software Construction and Analysis Tools for Future Space Missions},
  author = {Lowry, Michael R. and Clancy, Daniel},
  year = {2002},
  url = {https://ntrs.nasa.gov/citations/20020063476},
  note = {Source identifier: 20020063476}
}