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