@misc{indiciae4263ec373e0c,
  title = {Formal Approach for the Verification of Onboard Autonomous Functions in Observation Satellites},
  author = {Vincent Mussot and Silvano Dal Zilio and Loic Correnson and Serge Rainjonneau and Yves Bardout and Grégoire Scano},
  year = {2020},
  url = {https://arxiv.org/abs/2001.11875},
  note = {Source identifier: 2001.11875}
}