{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T07:47:11Z","timestamp":1759132031489},"reference-count":34,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1109\/dsn.2013.6575357","type":"proceedings-article","created":{"date-parts":[[2013,8,14]],"date-time":"2013-08-14T12:18:36Z","timestamp":1376482716000},"page":"1-12","source":"Crossref","is-referenced-by-count":8,"title":["Guaranteeing Proper-Temporal-Embedding safety rules in wireless CPS: A hybrid formal modeling approach"],"prefix":"10.1109","author":[{"given":"Feng","family":"Tan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yufei","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qixin","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lei","family":"Bu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rong","family":"Zheng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Neeraj","family":"Suri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"0","key":"19"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2011.23"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/TMC.2007.1018"},{"key":"33","first-page":"127","article-title":"Formal development of a washing machine controller by using formal design patterns","author":"li","year":"2009","journal-title":"Proceedings of the CEA'09"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/32.489079"},{"key":"34","article-title":"Formal methods for design and verification of embedded control systems: Application to an autonomous vehicle","author":"tichakorn","year":"2010","journal-title":"Dissertation (Ph D ) California Institute of Technology"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1016\/S0951-8320(03)00089-9"},{"key":"13","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-57318-6_30","article-title":"Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems","author":"alur","year":"1993","journal-title":"Hybrid Systems"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1995.495196"},{"key":"11","article-title":"Context-aware leasing for mobile ad hoc networks","author":"boix","year":"2007","journal-title":"3rd Workshop on OT4AmI Co-located at ECOOP'07"},{"key":"12","article-title":"Centrifuge: Integrated lease management and partitioning for cloud services","author":"adya","year":"2010","journal-title":"Proceedings of NSDI'11"},{"journal-title":"Sabiston Textbook of Surgery The Biological Basis of Modern Surgical Practice","year":"2012","author":"townsend jr","key":"21"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2004.1459815"},{"year":"0","key":"22"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2008.04.002"},{"key":"24","first-page":"40","article-title":"DNScup: Strong cache consistency protocol for dns","author":"chen","year":"2006","journal-title":"Proc of IEEE ICDCS'06"},{"key":"25","article-title":"Formal methods in the evaluation of a safe driver-machine interface","author":"majzik","year":"2008","journal-title":"FORMSFORMAT 2008"},{"key":"26","first-page":"9","article-title":"Formal specification and verification of a group membership protocol for an intrusiontolerant group communication system","author":"ramasamy","year":"2002","journal-title":"Proc of PRDC'02"},{"key":"27","first-page":"543","article-title":"CSL model checking for the GreatSPN tool","author":"donatelli","year":"2004","journal-title":"Proc ISCIS 2004"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-008-0057-0"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24310-3_2"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2012.10"},{"year":"0","key":"2"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ICPP.2008.59"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-88735-7_1"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1145\/99571.99812"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/74850.74870"},{"journal-title":"Medical Devices and Medical Systems-essential Safety Requirements for Equipment Comprising the Patient-centric Integrated Clinical Environment (Ice) Part 1 General Requirements and Conceptual Model","year":"2009","key":"6"},{"key":"32","first-page":"167","article-title":"Designing verifiable and reusable data access layer using formal methods and design patterns","author":"faheem","year":"2009","journal-title":"Proc of the ICCMS '09"},{"year":"0","key":"5"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1998.671108"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2167449"},{"key":"9","first-page":"129","article-title":"Shark: Scaling file servers via cooperative caching","author":"annapureddy","year":"2005","journal-title":"Proc of NSDI'05"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/268998.266694"}],"event":{"name":"2013 43rd Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN)","start":{"date-parts":[[2013,6,24]]},"location":"Budapest, Hungary","end":{"date-parts":[[2013,6,27]]}},"container-title":["2013 43rd Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6569391\/6575287\/06575357.pdf?arnumber=6575357","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T13:50:16Z","timestamp":1498053016000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6575357\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/dsn.2013.6575357","relation":{},"subject":[],"published":{"date-parts":[[2013,6]]}}}