Cyber-physical smart traffic light system | IEEE Conference Publication | IEEE Xplore