Verification of itineraries for mobile agent enabled interorganizational workflow | IEEE Conference Publication | IEEE Xplore