An interface between continuous and discrete-event controllers for vehicle automation | IEEE Journals & Magazine | IEEE Xplore