L. Mendoza Morales, M. Capel Tuñón, y M. Pérez, «Verificación automática de procesos de negocio con un enfoque composicional.», REV TEC FAC ING UNIV, vol. 36, n.º 1, 1.