{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,5]],"date-time":"2025-05-05T04:40:07Z","timestamp":1746420007900,"version":"3.40.4"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319117362"},{"type":"electronic","value":"9783319117379"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11737-9_5","type":"book-chapter","created":{"date-parts":[[2014,10,15]],"date-time":"2014-10-15T00:52:14Z","timestamp":1413334334000},"page":"59-74","source":"Crossref","is-referenced-by-count":6,"title":["A Hybrid Model of Connectors in Cyber-Physical Systems"],"prefix":"10.1007","author":[{"given":"Xiaohong","family":"Chen","sequence":"first","affiliation":[]},{"given":"Jun","family":"Sun","sequence":"additional","affiliation":[]},{"given":"Meng","family":"Sun","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/3-540-57318-6_30","volume-title":"Hybrid Systems","author":"R. Alur","year":"1993","unstructured":"Alur, R., Courcoubetis, C., Henzinger, T.A., Ho, P.-H.: Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems. In: Grossman, R.L., Ravn, A.P., Rischel, H., Nerode, A. (eds.) HS 1991 and HS 1992. LNCS, vol.\u00a0736, pp. 209\u2013229. Springer, Heidelberg (1993)"},{"issue":"3","key":"5_CR2","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1017\/S0960129504004153","volume":"14","author":"F. Arbab","year":"2004","unstructured":"Arbab, F.: Reo: A Channel-based Coordination Model for Component Composition. Mathematical Structures in Computer Science\u00a014(3), 329\u2013366 (2004)","journal-title":"Mathematical Structures in Computer Science"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Arbab, F., Baier, C., de Boer, F., Rutten, J.: Models and Temporal Logics for Timed Component Connectors. In: Proceedings of SEFM2004, pp. 198\u2013207. IEEE Computer Society (2004)","DOI":"10.1109\/SEFM.2004.1347521"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-540-40020-2_2","volume-title":"Recent Trends in Algebraic Development Techniques","author":"F. Arbab","year":"2003","unstructured":"Arbab, F., Rutten, J.: A coinductive calculus of component connectors. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2003. LNCS, vol.\u00a02755, pp. 34\u201355. Springer, Heidelberg (2003)"},{"key":"5_CR5","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/j.scico.2005.10.008","volume":"61","author":"C. Baier","year":"2006","unstructured":"Baier, C., Sirjani, M., Arbab, F., Rutten, J.: Modeling component connectors in Reo by constraint automata. Science of Computer Programming\u00a061, 75\u2013113 (2006)","journal-title":"Science of Computer Programming"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A.: The theory of hybrid automata. In: LICS, pp. 278\u2013292. IEEE Computer Society (1996)","DOI":"10.1109\/LICS.1996.561342"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Kokash, N., Krause, C., de Vink, E.: Time and data aware analysis of graphical service models. In: Proceedings of SEFM 2010, pp. 125\u2013134. IEEE Computer Society (2010)","DOI":"10.1109\/SEFM.2010.26"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Kokash, N., Krause, C., de Vink, E.: Reo+mCRL2: A framework for model-checking dataflow in service compositions. In: Formal Aspects of Computing, vol.\u00a024, pp. 187\u2013216.","DOI":"10.1007\/s00165-011-0191-6"},{"key":"5_CR9","unstructured":"Lee, E.A.: Computing Foundations and Practice for Cyber Physical Systems: A Preliminary Report. Technical Report UCB\/EECS-2007-72, Department of Electrical Engineering and Computer Sciences, UC Berkeley (2007)"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1007\/3-540-45351-2_33","volume-title":"Hybrid Systems: Computation and Control","author":"N.A. Lynch","year":"2001","unstructured":"Lynch, N.A., Segala, R., Vaandrager, F.W.: Hybrid I\/O Automata Revisited. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L. (eds.) HSCC 2001. LNCS, vol.\u00a02034, pp. 403\u2013417. Springer, Heidelberg (2001)"},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"496","DOI":"10.1007\/BFb0020971","volume-title":"Hybrid Systems III","author":"N. Lynch","year":"1996","unstructured":"Lynch, N., Segala, R., Vaandrager, F., Weinberg, H.: Hybrid I\/O Automata. In: Alur, R., Sontag, E.D., Henzinger, T.A. (eds.) HS 1995. LNCS, vol.\u00a01066, pp. 496\u2013510. Springer, Heidelberg (1996)"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Meng, S.: Connectors as designs: The time dimension. In: Proceedings of TASE 2012, pp. 201\u2013208. IEEE Computer Society (2012)","DOI":"10.1109\/TASE.2012.36"},{"key":"5_CR13","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/BF01200235","volume":"37","author":"G. Peano","year":"1890","unstructured":"Peano, G.: Demonstration de l\u2019int\u00e9grabilit\u00e9 des \u00e9quations deff\u00e9rentielles ordinaires. Mathematische Annalen\u00a037, 182\u2013228 (1890)","journal-title":"Mathematische Annalen"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11737-9_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,5]],"date-time":"2025-05-05T04:24:56Z","timestamp":1746419096000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11737-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319117362","9783319117379"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11737-9_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}