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