F. . Asteasuain, “Validación Formal de Software para misiones de nano satélites”, Revista Abierta de Informática Aplicada, vol. 7, no. 1, pp. 12–23, Jun. 2023, doi: 10.59471/raia202353.