Vehicle-in-the-loop (VIL) verification of a smart city intersection control scheme for autonomous vehicles | IEEE Conference Publication | IEEE Xplore