@misc{indiciae5bf2ed309a0c,
  title = {Using Assume-Guarantee Contracts in Autonomous Spacecraft},
  author = {James B Dabney and Pavan Rajagopal and Julia M Badger},
  url = {https://ntrs.nasa.gov/citations/20210000726},
  note = {Source identifier: 20210000726}
}