Controller for urban intersections based on hybrid automaton | IEEE Conference Publication | IEEE Xplore