Design of Optimal Phase Plans for Isolated Intersections Using Vertex Coloring and Binary Integer Linear Programming | IEEE Conference Publication | IEEE Xplore