F. Asteasuain, «Formal Validation of Software for Nano Satellite Missions», Revista Abierta de Informática Aplicada, vol. 7, n.º 1, pp. 12–23, jun. 2023.