@misc{indiciaef7430297a2d4,
  title = {The Ingenuity Mars Helicopter Specified and Analyzed with the Real-time Mode-aware Dataflow Model},
  author = {Guillaume Roumage and Selma Azaiez and Cyril Faure and Stéphane Louise},
  year = {2025},
  url = {https://arxiv.org/abs/2501.07616},
  note = {Source identifier: 2501.07616}
}