Mendoza Morales, L., Capel Tuñón, M., & Pérez, M. (1). Verificación automática de procesos de negocio con un enfoque composicional. Revista Técnica De La Facultad De Ingeniería. Universidad Del Zulia, 36(1). Recuperado a partir de https://mail.produccioncientificaluz.org/index.php/tecnica/article/view/6886