Vehicular Coordination via a Safety Kernel in the Gulliver Test-Bed | IEEE Conference Publication | IEEE Xplore