Lane-Based Saturation Degree Estimation for Signalized Intersections Using Travel Time Data | IEEE Journals & Magazine | IEEE Xplore