Dynamic All-Red Extension at a Signalized Intersection: A Framework of Probabilistic Modeling and Performance Evaluation | IEEE Journals & Magazine | IEEE Xplore