Yi-Sheng Huang. Design of Traffic Light Control Systems Using Statecharts. Comput. J., 49(6):634-649, 2006. [doi]
@article{Huang06:18, title = {Design of Traffic Light Control Systems Using Statecharts}, author = {Yi-Sheng Huang}, year = {2006}, doi = {10.1093/comjnl/bxl032}, url = {http://dx.doi.org/10.1093/comjnl/bxl032}, tags = {control systems, design}, researchr = {https://researchr.org/publication/Huang06%3A18}, cites = {0}, citedby = {0}, journal = {Comput. J.}, volume = {49}, number = {6}, pages = {634-649}, }