Agredo-Delgado, Vanessa, et al. “Validating the Formal Specification of the THUNDERS Process”. TecnoLógicas, vol. 26, no. 57, Aug. 2023, p. e2658, doi:10.22430/22565337.2658.