Probabilistic Modeling of Traffic Flows through Signalized Intersection with Branching Routes | IEEE Conference Publication | IEEE Xplore