Safety Analysis of a Maneuver Coordination Protocol | IEEE Conference Publication | IEEE Xplore