MENDOZA MORALES, L.; CAPEL TUÑÓN, M.; PÉREZ, M. Verificación automática de procesos de negocio con un enfoque composicional. Revista Técnica de la Facultad de Ingeniería. Universidad del Zulia, v. 36, n. 1, 11.