VANET Simulation Environment with Feedback Loop and its Application to Traffic Light Assistance | IEEE Conference Publication | IEEE Xplore