Email Record: An interface between continuous and discrete-event controllers for vehicle automation /