Modeling and analysis of traffic light controller using Statechart | IEEE Conference Publication | IEEE Xplore