Modeling and Controlling Smart Traffic Light System Using a Rule Based System | IEEE Conference Publication | IEEE Xplore