Yi-Sheng Huang, Shuo-Xian Liau, Mu Der Jeng. Modeling and analysis of traffic light controller using Statechart. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Istanbul, Turkey, 10-13 October 2010. pages 557-562, IEEE, 2010. [doi]
Abstract is missing.