On Safe Service-Oriented Real-Time Coordination for Autonomous Vehicles | IEEE Conference Publication | IEEE Xplore