Modern transportation systems optimize traffic flows in road networks by allowing intersection-level traffic controllers to communicate and synchronize. Typically they are distributed systems, with multiple nodes (intersections) ...