V. Agredo-Delgado, P. H. Ruiz, y C. A. Collazos, «Validación de la especificación formal del proceso THUNDERS», TecnoL., vol. 26, n.º 57, p. e2658, ago. 2023.