Vehicular congestion modeling and estimation for advanced traveler information systems | IEEE Conference Publication | IEEE Xplore