@misc{indiciae6415c050497f,
  title = {Early Design Exploration of Aerospace Systems Using Assume-Guarantee Contracts},
  author = {Nicolas Rouquette and Alessandro Pinto and Inigo Incer},
  year = {2024},
  url = {https://arxiv.org/abs/2409.02218},
  note = {Source identifier: 2409.02218}
}