{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,30]],"date-time":"2026-10-30T04:05:10Z","timestamp":1793333110378,"version":"4.5.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,3]]},"DOI":"10.1109\/wf-iot.2014.6803205","type":"proceedings-article","created":{"date-parts":[[2014,5,6]],"date-time":"2014-05-06T00:59:26Z","timestamp":1399337966000},"page":"433-436","source":"Crossref","is-referenced-by-count":14,"title":["Towards synchronous deterministic channels for the Internet of Things"],"prefix":"10.1109","author":[{"given":"Wilfried","family":"Steiner","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Flavio","family":"Bonomi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hermann","family":"Kopetz","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"13","year":"0","journal-title":"Path Computation Element (Pce)"},{"key":"11","author":"steiner","year":"0","journal-title":"Interoperability of IEEE 802 1AS and Fault-tolerant Clock Synchronization"},{"key":"12","year":"0","journal-title":"2012 National Workshop on the New Clockwork for Time-critical Cyberphysical Systems"},{"key":"3","author":"steiner","year":"2008","journal-title":"TTEthernet Specification"},{"key":"2","author":"kopetz","year":"2002","journal-title":"TTP\/C Protocol-Version 1 0 Vienna"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805821"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ISPCS.2009.5340214"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/26.103043"},{"key":"6","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/978-3-642-20398-5_27","article-title":"Automated formal verification of the ttethernet synchronization quality","author":"steiner","year":"2011","journal-title":"NASA Formal Methods"},{"key":"5","article-title":"Aircraft Data Network, Part 7: Avionics Full Duplex switched ethernet (AFDX) network","year":"2009","journal-title":"ARINC Report 664P7-1"},{"key":"4","article-title":"TTEthernet: Time-Triggered ethernet","author":"steiner","year":"2011","journal-title":"Time-triggered Communication"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ISPCS.2008.4659212"},{"key":"8","article-title":"IEEE standard for a precision clock synchronization protocol for networked measurement and control systems","year":"2008","journal-title":"IEEE Std 1588-2008 (Revision of IEEE Std 1588-2002)"}],"event":{"name":"2014 IEEE World Forum on Internet of Things (WF-IoT)","location":"Seoul, Korea (South)","start":{"date-parts":[[2014,3,6]]},"end":{"date-parts":[[2014,3,8]]}},"container-title":["2014 IEEE World Forum on Internet of Things (WF-IoT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6784568\/6803102\/06803205.pdf?arnumber=6803205","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T12:42:59Z","timestamp":1498135379000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6803205\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,3]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/wf-iot.2014.6803205","relation":{},"subject":[],"published":{"date-parts":[[2014,3]]}}}