{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,22]],"date-time":"2026-01-22T20:32:12Z","timestamp":1769113932247,"version":"3.49.0"},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,6]]},"DOI":"10.1109\/dcoss.2015.36","type":"proceedings-article","created":{"date-parts":[[2015,7,23]],"date-time":"2015-07-23T18:14:44Z","timestamp":1437675284000},"page":"52-61","source":"Crossref","is-referenced-by-count":1,"title":["Tokenit: Designing State-Driven Embedded Systems through Tokenized Transitions"],"prefix":"10.1109","author":[{"given":"Amir","family":"Taherkordi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Johansen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Eliassen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kay","family":"Romer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/IPSN.2005.1440892"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2004.1281625"},{"key":"ref12","author":"harel","year":"1998","journal-title":"Modeling Reactive Systems with Statecharts The STATEMATE Approach"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/5.97299"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233837"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1031495.1031506"},{"key":"ref17","author":"hopcroft","year":"2000","journal-title":"Introduction to Automata Theory Languages and Computation"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/322234.322243"},{"key":"ref19","author":"douglass","year":"1999","journal-title":"Doing Hard Time Developing Real-Time Systems with UML Objects Frameworks and Patterns"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/1809111.1809116"},{"key":"ref4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-13651-1_4","article-title":"Programming sensor networks using remora component model","volume":"6131","author":"taherkordi","year":"2010","journal-title":"Distributed Computing in Sensor Systems (DCOSS) ser Lecture Notes in Computer Science"},{"key":"ref27","article-title":"Improving tinyos developer productivity with statecharts","author":"menrad","year":"2009"},{"key":"ref3","doi-asserted-by":"crossref","DOI":"10.1007\/11776178_10","article-title":"Logical neighborhoods: A programming abstraction for wireless sensor networks","volume":"4026","author":"mottola","year":"2006","journal-title":"Distributed Computing in Sensor Systems (DCOSS) ser Lecture Notes in Computer Science"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1165780.1165782"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/1809111.1809115"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2005.857076"},{"key":"ref8","year":"0","journal-title":"TI CC2530 - SoC solution for IEEE 802 15 4"},{"key":"ref7","doi-asserted-by":"crossref","DOI":"10.1109\/MPRV.2003.1251169","article-title":"State-centric programming for sensor-actuator network systems","volume":"2","author":"liu","year":"2003","journal-title":"Pervasive Computing"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781133"},{"key":"ref9","year":"0","journal-title":"Sonitor RTLS"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1182807.1182811"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/LCN.2004.38"},{"key":"ref22","year":"0","journal-title":"SCXML Spec"},{"key":"ref21","article-title":"Unified semantics for event correlation over time and space in hybrid network environments","author":"yoneki","year":"2005","journal-title":"CoopIS"},{"key":"ref24","year":"0","journal-title":"Thingsquare Connecting IoT"},{"key":"ref23","article-title":"Parser Generator","year":"0"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2008.106"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2009.69"}],"event":{"name":"2015 International Conference on Distributed Computing in Sensor Systems (DCOSS)","location":"Fortaleza, Brazil","start":{"date-parts":[[2015,6,10]]},"end":{"date-parts":[[2015,6,12]]}},"container-title":["2015 International Conference on Distributed Computing in Sensor Systems"],"original-title":[],"link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx7\/7164868\/7164869\/07165023.pdf?arnumber=7165023","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,12]],"date-time":"2023-08-12T09:15:04Z","timestamp":1691831704000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/ieeexplore.ieee.org\/document\/7165023\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6]]},"references-count":29,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1109\/dcoss.2015.36","relation":{},"subject":[],"published":{"date-parts":[[2015,6]]}}}