Cooperative Intelligent Transport Systems: Choreography-Based Urban Traffic Coordination | IEEE Journals & Magazine | IEEE Xplore