{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T22:46:17Z","timestamp":1747867577406,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,8]]},"DOI":"10.1109\/rtcsa.2013.6732229","type":"proceedings-article","created":{"date-parts":[[2014,2,10]],"date-time":"2014-02-10T16:27:14Z","timestamp":1392049634000},"page":"287-296","source":"Crossref","is-referenced-by-count":2,"title":["Using run-time checking to provide safety and progress for distributed cyber-physical systems"],"prefix":"10.1109","author":[{"given":"Stanley","family":"Bak","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fardin Abdi Taghi","family":"Abad","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Zhenqi Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Caccamo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85778-5_16"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/2000367.2000368"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/BF01692062"},{"key":"13","first-page":"1","article-title":"Netsimplex: Controller fault tolerance architecture in networked control systems","volume":"pp","author":"yao","year":"2012","journal-title":"Industrial Informatics IEEE Transactions on"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/1795194.1795215"},{"journal-title":"Onewireless Network - isa100 11a-compliant Wireless Mesh Network","year":"2012","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2007.34"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2009.20"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2001.936213"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/2.153253"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2008.15"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-48952-5"},{"key":"6","article-title":"A safety architecture for autonomous agricultural vehicles","author":"kohanbash","year":"2012","journal-title":"American Society of Agricultural and Biological Engineers Annual Meeting"},{"key":"5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-01794-0","author":"kaynar","year":"2006","journal-title":"The Theory of Timed I\/O Automata (Synthesis Lectures in Computer Science)"},{"journal-title":"A verification framework for hybrid systems","year":"2007","author":"mitra","key":"4"},{"journal-title":"Distributed Safe Flocking Algorithm over the Unreliable Network","year":"2012","author":"abdi","key":"9"},{"journal-title":"Stabilizing Robotics Programming Language (Starl)","year":"0","author":"zimmerman","key":"8"}],"event":{"name":"2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)","start":{"date-parts":[[2013,8,19]]},"location":"Taipei, Taiwan","end":{"date-parts":[[2013,8,21]]}},"container-title":["2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6720220\/6732192\/06732229.pdf?arnumber=6732229","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,10]],"date-time":"2023-07-10T11:01:04Z","timestamp":1688986864000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6732229\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,8]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/rtcsa.2013.6732229","relation":{},"subject":[],"published":{"date-parts":[[2013,8]]}}}