{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T20:18:23Z","timestamp":1784233103397,"version":"3.55.0"},"reference-count":33,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,11]]},"DOI":"10.1109\/nesea.2010.5678065","type":"proceedings-article","created":{"date-parts":[[2011,1,3]],"date-time":"2011-01-03T15:47:38Z","timestamp":1294069658000},"page":"1-7","source":"Crossref","is-referenced-by-count":36,"title":["Composition challenges and approaches for cyber physical systems"],"prefix":"10.1109","author":[{"given":"Kaiyu","family":"Wan","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Danny","family":"Hughes","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ka Lok","family":"Man","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tomas","family":"Krilavicius","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-13651-1_4","article-title":"Programming Sensor Networks Using REMORA Component Model","author":"taherkordi","year":"2010","journal-title":"6th IEEE\/ACM International Conference on Distributed Computing in Sensor Systems (DCOSS)"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/WAINA.2008.265"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/1352592.1352606"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.1279"},{"key":"ref10","year":"2008","journal-title":"CPS Steering Group"},{"key":"ref11","first-page":"308","article-title":"Specification and Analysis Challenges and Approaches for Cyber-Physical Systems (CPS)","volume":"18","author":"wan","year":"0","journal-title":"Enginnering Letters"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.25"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04995-2_2"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61648-9_37"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/3-540-57318-6_30","article-title":"Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems","volume":"736","author":"alur","year":"1993","journal-title":"Lecture Notes in Computer Science"},{"key":"ref17","author":"krilavicius","year":"2006","journal-title":"Hybrid Techniques for Hybrid Systems PhD thesis"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2004.02.001"},{"key":"ref19","author":"man","year":"2006","journal-title":"Formal Specification and Analysis of Hybrid Systems"},{"key":"ref28","author":"plauger","year":"1997","journal-title":"Embedded C++ An Overview Embedded Systems Programming"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1328671.1328672"},{"key":"ref27","first-page":"258","article-title":"PHAVer: Algorithmic Verification of Hybrid Systems past HyTech","author":"frehse","year":"2005","journal-title":"Proceedings of the 5th International Workshop on Hybrid Systems Computation and Control (HSCC) Lecture Notes in Computer Science 3414"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781133"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1821748.1821787"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/356989.356998"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/PERCOM.2007.36"},{"key":"ref8","article-title":"Compositional Analysis of Multimode Systems","author":"phan","year":"2010","journal-title":"Euromicro Conference on Real-Time Systems"},{"key":"ref7","first-page":"3","article-title":"Composition of Cyber-Physical Systems, Enginnering of Computer-Based Systems","author":"sztipanovit","year":"2007"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/LCN.2004.38"},{"key":"ref9","article-title":"Cyber-Physical Systems - Are Computing Foundations Adequate?","author":"lee","year":"2006","journal-title":"proc of NSFWorkshop On Cyber-Physical Systems Research Motivation Techniques and Roadmap"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1134760.1134773"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44929-9_38"},{"key":"ref22","author":"man","year":"2010","journal-title":"PAFESD Process Algebras for Electronic System Design"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2005.10.004"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1996.561342"},{"key":"ref23","first-page":"224","article-title":"Recent Advanced Languages and Tools for Hybrid Systems","volume":"37","author":"man","year":"2010","journal-title":"IAENG International Journal of Computer Science"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/1795194.1795197"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624193"}],"event":{"name":"2010 IEEE International Conference on Networked Embedded Systems for Enterprise Applications (NESEA)","location":"Suzhou, China","start":{"date-parts":[[2010,11,25]]},"end":{"date-parts":[[2010,11,26]]}},"container-title":["2010 IEEE International Conference on Networked Embedded Systems for Enterprise Applications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5673937\/5678049\/05678065.pdf?arnumber=5678065","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T13:57:34Z","timestamp":1497880654000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5678065\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,11]]},"references-count":33,"URL":"https:\/\/doi.org\/10.1109\/nesea.2010.5678065","relation":{},"subject":[],"published":{"date-parts":[[2010,11]]}}}