Agredo-Delgado, V., H. Ruiz, P. and Collazos, C. A. (2023) “Validating the Formal Specification of the THUNDERS Process”, TecnoLógicas, 26(57), p. e2658. doi: 10.22430/22565337.2658.