{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:57:56Z","timestamp":1725569876558},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,10]]},"DOI":"10.1109\/icsmc.2010.5642015","type":"proceedings-article","created":{"date-parts":[[2010,11,30]],"date-time":"2010-11-30T21:35:53Z","timestamp":1291152953000},"page":"557-562","source":"Crossref","is-referenced-by-count":1,"title":["Modeling and analysis of traffic light controller using Statechart"],"prefix":"10.1109","author":[{"given":"Yi-Sheng","family":"Huang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Shuo-Xian Liau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Mu-Der Jeng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-50403-6_34"},{"article-title":"On synchronized statecharts","year":"1988","author":"drusinsky","key":"ref3"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxl032"},{"key":"ref6","first-page":"61","article-title":"Genetic algorithms for traffic signal control and queue management of oversaturated two-way arterials","author":"ghassan","year":"2000","journal-title":"Transp Res Board"},{"journal-title":"Computational Aspects of VLSI","year":"1984","author":"ullman","key":"ref5"},{"key":"ref8","first-page":"1644","article-title":"Traffic signal control using fuzzy logic","author":"lin\u201e","year":"1997","journal-title":"Proc IEEE Systems Man and Cybernetics Orlando FL October 12&#x2013;15"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.1999.786341"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/43.31537"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"}],"event":{"name":"2010 IEEE International Conference on Systems, Man and Cybernetics - SMC","start":{"date-parts":[[2010,10,10]]},"location":"Istanbul, Turkey","end":{"date-parts":[[2010,10,13]]}},"container-title":["2010 IEEE International Conference on Systems, Man and Cybernetics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5629466\/5641665\/05642015.pdf?arnumber=5642015","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T05:00:58Z","timestamp":1490072458000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5642015\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,10]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/icsmc.2010.5642015","relation":{},"subject":[],"published":{"date-parts":[[2010,10]]}}}