Design Approach for Adaptive Traffic Light Control System Based on Radio Propagation Model in VANET | IEEE Conference Publication | IEEE Xplore