Asteasuain, Fernando. “Validación Formal De Software Para Misiones De Nano satélites”. Revista Abierta De Informática Aplicada, vol. 7, no. 1, June 2023, pp. 12-23, https://doi.org/10.59471/raia202353.