Mendoza Morales, Luis, Manuel Capel Tuñón, and María Pérez. “Verificación automática De Procesos De Negocio Con Un Enfoque Composicional.”. Rev. Téc. Fac. Ing. Univ. Zulia 36, no. 1 (1). Accessed December 6, 2025. https://produccioncientificaluz.org/index.php/tecnica/article/view/6886.