Modeling and analysis of traffic light controller using Statechart. - Yi-Sheng Huang; Shuo-Xian Liau; MuDer Jeng (SMC, 2010)