Agredo-Delgado, V.; H. Ruiz, P.; Collazos, C. A. Validating the Formal Specification of the THUNDERS Process. TecnoL. 2023, 26, e2658.