MENDOZA MORALES, L.; CAPEL TUÑÓN, M.; PÉREZ, M. Verificación automática de procesos de negocio con un enfoque composicional. Rev. Téc. Fac. Ing. Univ. Zulia, v. 36, n. 1, 11.