High Time-Resolution Queue Profile Estimation at Signalized Intersections Based on Extended Kalman Filtering | IEEE Journals & Magazine | IEEE Xplore