Mendoza Morales, L., Capel Tuñón, M. and Pérez, M. (1) “Verificación automática de procesos de negocio con un enfoque composicional.”, Rev. Téc. Fac. Ing. Univ. Zulia, 36(1). Available at: https://produccioncientificaluz.org/index.php/tecnica/article/view/6886 (Accessed: 23December2025).