Mendoza Morales, L., Capel Tuñón, M., & 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). Recuperado a partir de https://mail.produccioncientificaluz.org/index.php/tecnica/article/view/6886