Asteasuain, Fernando. “Validación Formal De Software Para Misiones De Nano satélites”. Revista Abierta de Informática Aplicada 7, no. 1 (June 30, 2023): 12–23. Accessed July 1, 2025. https://raia.revistasuai.ar/index.php/raia/article/view/53.