Analytical Model for Queue Length Estimation at Signalized Intersections from Travel Time | IEEE Conference Publication | IEEE Xplore