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