1. Agência Espacial Brasileira (2022) Transporte Espacial. https://www.gov.br/aeb/pt-br/programa-espacial-brasileiro/transporte-espacial. Accessed 20 Sep 2022
2. Agência Força Aérea: IAE realiza Operação Santa Maria 1/2021 no Centro de Lançamento de Alcântara (CLA) (2021). https://www.fab.mil.br/noticias/mostra/37556. Accessed 24 Jan 2022
3. Alberti M, Antignac T, Barany G et al Help of frama-c tool
4. Alberti M, Antignac T, Barany G et al (2021) FRAMA-C. https://frama-c.com/. Accessed 15 Jan 2022
5. Baudin P, Bobot F, Bühler D, Correnson L, Kirchner F, Kosmatov N, Maroneze A, Perrelle V, Prevosto V, Signoles J, Williams N (2021) The dogged pursuit of bug-free C programs: the Frama-C software analysis platform. Commun ACM. https://doi.org/10.1145/3470569