{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T01:40:10Z","timestamp":1725673210201},"publisher-location":"New York, NY, USA","reference-count":51,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,11,1]],"date-time":"2015-11-01T00:00:00Z","timestamp":1446336000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,11]]},"DOI":"10.1145\/2809695.2809706","type":"proceedings-article","created":{"date-parts":[[2015,11,2]],"date-time":"2015-11-02T18:33:30Z","timestamp":1446489210000},"page":"267-280","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":22,"title":["Bolt"],"prefix":"10.1145","author":[{"given":"Felix","family":"Sutton","sequence":"first","affiliation":[{"name":"ETH Zurich, Zurich, Switzerland"}]},{"given":"Marco","family":"Zimmerling","sequence":"additional","affiliation":[{"name":"ETH Zurich, Zurich, Switzerland"}]},{"given":"Reto","family":"Da Forno","sequence":"additional","affiliation":[{"name":"ETH Zurich, Zurich, Switzerland"}]},{"given":"Roman","family":"Lim","sequence":"additional","affiliation":[{"name":"ETH Zurich, Zurich, Switzerland"}]},{"given":"Tonio","family":"Gsell","sequence":"additional","affiliation":[{"name":"ETH Zurich, Zurich, Switzerland"}]},{"given":"Georgia","family":"Giannopoulou","sequence":"additional","affiliation":[{"name":"ETH Zurich, Zurich, Switzerland"}]},{"given":"Federico","family":"Ferrari","sequence":"additional","affiliation":[{"name":"ETH Zurich, Zurich, Switzerland"}]},{"given":"Jan","family":"Beutel","sequence":"additional","affiliation":[{"name":"ETH Zurich, Zurich, Switzerland"}]},{"given":"Lothar","family":"Thiele","sequence":"additional","affiliation":[{"name":"ETH Zurich, Zurich, Switzerland"}]}],"member":"320","published-online":{"date-parts":[[2015,11]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"HART communication foundation. http:\/\/en.hartcomm.org\/main_article\/wirelesshart.html. HART communication foundation. http:\/\/en.hartcomm.org\/main_article\/wirelesshart.html."},{"key":"e_1_3_2_1_2_1","unstructured":"IEEE 802.15.4e Wireless Standard - Amendment 1: MAC sublayer. http:\/\/standards.ieee.org\/findstds\/standard\/802.15.4e-2012.html. IEEE 802.15.4e Wireless Standard - Amendment 1: MAC sublayer. http:\/\/standards.ieee.org\/findstds\/standard\/802.15.4e-2012.html."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/977400.978035"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"e_1_3_2_1_6_1","unstructured":"ARM. Cortex-M Series. http:\/\/www.arm.com\/products\/processors\/cortex-m\/. ARM. Cortex-M Series. http:\/\/www.arm.com\/products\/processors\/cortex-m\/."},{"volume-title":"MIT Press Cambridge","year":"2008","author":"Baier C.","key":"e_1_3_2_1_7_1"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/1147685.1147752"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1031495.1031541"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2010.16"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/646735.701625"},{"key":"e_1_3_2_1_12_1","unstructured":"Crossbow Technology. http:\/\/www.xbow.com. Crossbow Technology. http:\/\/www.xbow.com."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1127777.1127831"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/LCN.2004.38"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPSN.2008.59"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869983.1869985"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/1147685.1147772"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27820-7_4"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2426656.2426658"},{"volume-title":"Proceedings of the 10th ACM\/IEEE International Conference on Information Processing in Sensor Networks (IPSN)","year":"2011","author":"Ferrari F.","key":"e_1_3_2_1_20_1"},{"key":"e_1_3_2_1_21_1","unstructured":"Freescale. VF3xxR and MKW2xDx Series. http:\/\/www.freescale.com. Freescale. VF3xxR and MKW2xDx Series. http:\/\/www.freescale.com."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1455229.1455231"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6425820"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2007.364"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2002.1134340"},{"volume-title":"Centre for Telematics and Information Technology (CTIT)","year":"2003","author":"Hoesel L. F.","key":"e_1_3_2_1_26_1"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2006.14"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/903951"},{"volume-title":"IEEE Sensors","year":"2009","author":"Johnson M.","key":"e_1_3_2_1_29_1"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/LES.2011.2177065"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/313451.313558"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2014.6925998"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805821"},{"volume-title":"Proceedings of Workshop on Industry-Driven Approaches for Cost-effective Certification of Safety-Critical, Mixed-Criticality Systems","year":"2013","author":"Kotaba O.","key":"e_1_3_2_1_34_1"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/CICC.2014.6946046"},{"journal-title":"Uppaal in a nutshell. International Journal on Software Tools for Technology Transfer","year":"1997","author":"Larsen K. G.","key":"e_1_3_2_1_36_1"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-27139-2_7"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"crossref","unstructured":"C. J. Myers. Asynchronous Circuit Design. John Wiley & Sons 2001. C. J. Myers. Asynchronous Circuit Design. John Wiley & Sons 2001.","DOI":"10.1002\/0471224146"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/IWCMC.2008.194"},{"key":"e_1_3_2_1_40_1","unstructured":"NXP Semiconductors. Cortex-M4 MCUs with Cortex-M0 Co-Processors. http:\/\/www.nxp.com\/products\/microcontrollers\/core\/cortex_m0_m4f\/. NXP Semiconductors. Cortex-M4 MCUs with Cortex-M0 Co-Processors. http:\/\/www.nxp.com\/products\/microcontrollers\/core\/cortex_m0_m4f\/."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.5555\/1147685.1147745"},{"key":"e_1_3_2_1_42_1","unstructured":"Oracle Labs. SunSPOT. http:\/\/ www.sunspotworld.com. Oracle Labs. SunSPOT. http:\/\/ www.sunspotworld.com."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.5555\/1147685.1147744"},{"volume-title":"Universal Computer Science","year":"2006","author":"Portilla J.","key":"e_1_3_2_1_44_1"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/345910.345917"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2007.24"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/570645.570666"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1561\/1000000034"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2005.386"},{"key":"e_1_3_2_1_50_1","unstructured":"Texas Instruments. F28M3x Series. http:\/\/www.ti.com\/lsds\/ti\/microcontrollers_16-bit_32-bit\/c2000_performa%nce\/control_automation\/f28m3x\/products.page. Texas Instruments. F28M3x Series. http:\/\/www.ti.com\/lsds\/ti\/microcontrollers_16-bit_32-bit\/c2000_performa%nce\/control_automation\/f28m3x\/products.page."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2009.2013287"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/1031495.1031498"}],"event":{"name":"SenSys '15: The 13th ACM Conference on Embedded Network Sensor Systems","sponsor":["SIGMETRICS ACM Special Interest Group on Measurement and Evaluation","SIGCOMM ACM Special Interest Group on Data Communication","SIGMOBILE ACM Special Interest Group on Mobility of Systems, Users, Data and Computing","SIGOPS ACM Special Interest Group on Operating Systems","SIGBED ACM Special Interest Group on Embedded Systems","SIGARCH ACM Special Interest Group on Computer Architecture"],"location":"Seoul South Korea","acronym":"SenSys '15"},"container-title":["Proceedings of the 13th ACM Conference on Embedded Networked Sensor Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2809695.2809706","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T15:03:25Z","timestamp":1693839805000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2809695.2809706"}},"subtitle":["A Stateful Processor Interconnect"],"short-title":[],"issued":{"date-parts":[[2015,11]]},"references-count":51,"alternative-id":["10.1145\/2809695.2809706","10.1145\/2809695"],"URL":"https:\/\/doi.org\/10.1145\/2809695.2809706","relation":{},"subject":[],"published":{"date-parts":[[2015,11]]},"assertion":[{"value":"2015-11-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}