Agredo-Delgado, V. et al. 2023. Validación de la especificación formal del proceso THUNDERS. TecnoLógicas. 26, 57 (ago. 2023), e2658. DOI:https://doi.org/10.22430/22565337.2658.