A proposed IoT based Smart traffic lights control system within a V2X framework | IEEE Conference Publication | IEEE Xplore