@misc{indiciae175d9788b4a9,
  title = {Advanced automation for space missions: Technical summary},
  year = {1980},
  url = {https://ntrs.nasa.gov/citations/19810006399},
  note = {Source identifier: 19810006399}
}