Simulating the TravTek route guidance logic using the integration traffic model | IEEE Conference Publication | IEEE Xplore