{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,7]],"date-time":"2025-08-07T20:45:55Z","timestamp":1754599555476,"version":"3.37.3"},"reference-count":29,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"10","license":[{"start":{"date-parts":[[2015,10,1]],"date-time":"2015-10-01T00:00:00Z","timestamp":1443657600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/OAPA.html"}],"funder":[{"DOI":"10.13039\/501100002920","name":"Hong Kong RGC ECS PolyU","doi-asserted-by":"publisher","award":["5328\/12E"],"award-info":[{"award-number":["5328\/12E"]}],"id":[{"id":"10.13039\/501100002920","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002920","name":"RGC GRF\u00a0PolyU","doi-asserted-by":"publisher","award":["5245\/09E"],"award-info":[{"award-number":["5245\/09E"]}],"id":[{"id":"10.13039\/501100002920","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002920","name":"DAAD\/RGC Germany\/HK Joint Research Scheme","doi-asserted-by":"publisher","award":["G_HK022\/12"],"award-info":[{"award-number":["G_HK022\/12"]}],"id":[{"id":"10.13039\/501100002920","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004377","name":"Hong Kong Polytechnic Univ.","doi-asserted-by":"publisher","award":["A-PJ68","A-PJ80","A-PK46","A-PL82","G-YN37"],"award-info":[{"award-number":["A-PJ68","A-PJ80","A-PK46","A-PL82","G-YN37"]}],"id":[{"id":"10.13039\/501100004377","id-type":"DOI","asserted-by":"publisher"}]},{"name":"National Key Basic Research Program of China","award":["2014CB340703"],"award-info":[{"award-number":["2014CB340703"]}]},{"DOI":"10.13039\/501100001809","name":"National NSFC","doi-asserted-by":"publisher","award":["91318301","61321491","61100036"],"award-info":[{"award-number":["91318301","61321491","61100036"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"TUD CASED"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Parallel Distrib. Syst."],"published-print":{"date-parts":[[2015,10,1]]},"DOI":"10.1109\/tpds.2014.2358224","type":"journal-article","created":{"date-parts":[[2014,9,15]],"date-time":"2014-09-15T18:28:09Z","timestamp":1410805689000},"page":"2630-2642","source":"Crossref","is-referenced-by-count":9,"title":["A Lease Based Hybrid Design Pattern for Proper-Temporal-Embedding of Wireless CPS Interlocking"],"prefix":"10.1109","volume":"26","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":"Neeraj","family":"Suri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1995.495196"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/32.489079"},{"key":"ref12","first-page":"149","article-title":"A framework for the safe interoperability of medical devices in the presence of network failures","year":"0","journal-title":"Proc 1st IEEE Int Conf Cyber-Phys Syst"},{"year":"0","author":"tan","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2013.6575357"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/S0951-8320(03)00089-9"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511807930"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2011.23"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TMC.2007.1018"},{"journal-title":"Sabiston Textbook of Surgery The Biological Basis of Modern Surgical Practice","year":"2012","author":"townsend jr","key":"ref19"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1998.671108"},{"journal-title":"Proc 12th ACM Symp Oper Syst Principles","article-title":"Frangipani: A scalable distributed file system","year":"0","key":"ref4"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/99571.99812"},{"journal-title":"Proc 12th ACM Symp Oper Syst Principles","article-title":"Leases: An efficient fault-tolerant mechanism for distributed file cache consistency","year":"0","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICPP.2008.59"},{"article-title":"Formal methods for design and verification of embedded control systems: Application to an autonomous vehicle","year":"2010","author":"tichakorn","key":"ref29"},{"journal-title":"Proc 2nd Symp Networked Syst Design and Implementation","article-title":"Shark: Scaling file servers via cooperative caching","year":"0","key":"ref5"},{"key":"ref8","first-page":"1","article-title":"Centrifuge: Integrated lease management and partitioning for cloud services","author":"adya","year":"2010","journal-title":"Proc 7th Conf Symp Netw Syst Design Implementation"},{"key":"ref7","first-page":"7","article-title":"Context-aware leasing for mobile ad hoc networks","author":"boix","year":"2007","journal-title":"Proc 3rd Workshop Object-Oriented Technol Ambient Intell Pervasive Comput"},{"journal-title":"Proc ACM\/IEEE Int Conf Cyber-Physical Syst","article-title":"From offline toward real-time: A hybrid systems model checking and CPS co-design approach for medical device plug-and-play (MDPnP)","year":"0","key":"ref2"},{"key":"ref9","first-page":"209","article-title":"Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems","author":"alur","year":"0","journal-title":"Proc Hybrid Syst"},{"journal-title":"Machine Learning in Cyber Trust Security Privacy and Reliability","article-title":"Cyber-physical systems: A new frontier","year":"0","key":"ref1"},{"year":"0","key":"ref20"},{"year":"0","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2008.04.002"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/1185657.1185814"},{"journal-title":"Feedback Control of Dynamical Systems","year":"1993","author":"franklin","key":"ref23"},{"key":"ref26","first-page":"40","article-title":"DNScup: Strong cache consistency protocol for dns","author":"chen","year":"2006","journal-title":"Proc 26th IEEE Int Conf Distrib Comput Syst Workshops"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/1103900.1103908"}],"container-title":["IEEE Transactions on Parallel and Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/71\/7244274\/06898840.pdf?arnumber=6898840","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:28:59Z","timestamp":1642004939000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6898840\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,1]]},"references-count":29,"journal-issue":{"issue":"10"},"URL":"https:\/\/doi.org\/10.1109\/tpds.2014.2358224","relation":{},"ISSN":["1045-9219"],"issn-type":[{"type":"print","value":"1045-9219"}],"subject":[],"published":{"date-parts":[[2015,10,1]]}}}