@misc{indiciae77c1ca9e430a,
  title = {Bringing Rust to Safety-Critical Systems in Space},
  author = {Lukas Seidel and Julian Beier},
  year = {2024},
  url = {https://arxiv.org/abs/2405.18135},
  note = {Source identifier: 2405.18135}
}