Stateful Scheduling with Network Coding for Roadside-to-Vehicle Communication | IEEE Conference Publication | IEEE Xplore