Asteasuain, Fernando. «Formal Validation of Software for Nano Satellite Missions». Revista Abierta de Informática Aplicada 7, no. 1 (junio 30, 2023): 12–23. Accedido septiembre 20, 2024. https://raia.revistasuai.ar/index.php/raia/article/view/53.