Unified modeling and design of reservation-based cooperation mechanisms for intelligent vehicles | IEEE Conference Publication | IEEE Xplore