{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:43:32Z","timestamp":1729619012621,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.1109\/soca.2011.6166223","type":"proceedings-article","created":{"date-parts":[[2012,3,13]],"date-time":"2012-03-13T20:53:27Z","timestamp":1331672007000},"page":"1-8","source":"Crossref","is-referenced-by-count":11,"title":["Invariants as a unified knowledge model for Cyber-Physical Systems"],"prefix":"10.1109","author":[{"given":"Tamal","family":"Paul","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonathan W.","family":"Kimball","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maciej","family":"Zawodniok","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas P.","family":"Roth","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bruce","family":"McMillin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/TIA.1984.4504460"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/9.664149"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/9.664150"},{"key":"15","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0017-8","author":"liberzon","year":"2003","journal-title":"Switching in Systems and Control"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/9.736069"},{"journal-title":"Wireless Ad Hoc and Sensor Networks Protocols Performance and Control","year":"2007","author":"jagannathan","key":"13"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2007.4385521"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1214\/105051606000000907"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/TWC.2007.051035"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/SMARTGRID.2010.5622003"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2010.2081330"},{"key":"22","doi-asserted-by":"crossref","first-page":"1153","DOI":"10.1109\/TSE.1985.231863","article-title":"a distributed drafting algorithm for load balancing","volume":"se 11","author":"ni","year":"1985","journal-title":"IEEE Transactions on Software Engineering"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1007\/BF00289266"},{"journal-title":"Communicating Sequential Processes","year":"1985","author":"hoare","key":"24"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/TPEL.2008.2004272"},{"journal-title":"Verimag Research Report","article-title":"Incremental invariant generation for compositional design","year":"2010","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58843-4_20"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/9.664150"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/1795194.1795196"},{"journal-title":"SPIN Homepage","year":"0","key":"7"},{"journal-title":"Introduction to Algorithms","year":"2001","author":"cormen","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-6315-9_12"},{"journal-title":"Robust and Distributed Decisions for Future Cyber-physical Energy Networks","year":"2009","author":"roozbehani","key":"9"},{"journal-title":"Linear System Theory and Design","year":"1984","author":"chen","key":"8"}],"event":{"name":"2011 IEEE International Conference on Service-Oriented Computing and Applications (SOCA)","start":{"date-parts":[[2011,12,12]]},"location":"Irvine, CA, USA","end":{"date-parts":[[2011,12,14]]}},"container-title":["2011 IEEE International Conference on Service-Oriented Computing and Applications (SOCA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6156051\/6166194\/06166223.pdf?arnumber=6166223","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T15:34:06Z","timestamp":1497972846000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6166223\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/soca.2011.6166223","relation":{},"subject":[],"published":{"date-parts":[[2011,12]]}}}