{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:30:52Z","timestamp":1761597052646},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540418665"},{"type":"electronic","value":"9783540453512"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45351-2_7","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T23:27:49Z","timestamp":1194996469000},"page":"33-48","source":"Crossref","is-referenced-by-count":28,"title":["Compositional Refinement for Hierarchical Hybrid Systems"],"prefix":"10.1007","author":[{"given":"Rajeev","family":"Alur","sequence":"first","affiliation":[]},{"given":"Radu","family":"Grosu","sequence":"additional","affiliation":[]},{"given":"Insup","family":"Lee","sequence":"additional","affiliation":[]},{"given":"Oleg","family":"Sokolsky","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,3,21]]},"reference":[{"key":"7_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3\u201334, 1995.","journal-title":"Theoretical Computer Science"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"R. Alur and R. Grosu. Modular refinement of hierarchic reactive machines. In Proceedings of the 27th Annual ACM Symposium on Principles of Programming Languages, pages 390\u2013402, 2000.","DOI":"10.1145\/325694.325746"},{"key":"7_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1007\/3-540-46430-1_5","volume-title":"Hybrid Systems: Computation and Control, Third International Workshop","author":"R. Alur","year":"2000","unstructured":"R. Alur, R. Grosu, Y. Hur, V. Kumar, and I. Lee. Modular specifications of hybrid systems in Charon. In Hybrid Systems: Computation and Control, Third International Workshop, volume LNCS 1790, pages 6\u201319, 2000."},{"key":"7_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1007\/3-540-63141-0_6","volume-title":"CONCUR\u2019 97: Eighth International Conference on Concurrency Theory","author":"R. Alur","year":"1997","unstructured":"R. Alur and T.A. Henzinger. Modularity for timed and hybrid systems. In CONCUR\u2019 97: Eighth International Conference on Concurrency Theory, LNCS 1243, pages 74\u201388. Springer-Verlag, 1997."},{"key":"7_CR5","unstructured":"G. Booch, I. Jacobson, and J. Rumbaugh. Unified Modeling Language User Guide. Addison Wesley, 1997."},{"key":"7_CR6","unstructured":"J. Davis, M. Goel, C. Hylands, B. Kienhuis, E.A. Lee, J. Liu, X. Liu, L. Muliadi, S. Neuendorfier, J. Reekie, N. Smyth, J. Tsay, and Y. Xiong. Overview of the Ptolemy project. Technical Report UCB\/ERL M99\/37, University of California at Berkeley, 1999."},{"key":"7_CR7","series-title":"Lect Notes Comput Sci","volume-title":"Hybrid Systems V","author":"A. Deshpande","year":"1996","unstructured":"A. Deshpande, A. G\u00f6llu, and P. Varaiya. SHIFT: a formalism and a programming language for dynamic networks of hybrid automata. In Hybrid Systems V, LNCS 1567. Springer, 1996."},{"key":"7_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0055338","volume-title":"FTRTFT\u201998: Formal Techniques in Real Time and Fault Tolerant Systems","author":"R. Grosu","year":"1998","unstructured":"R. Grosu, T. Stauner and M. Broy. A Modular Visual Model for Hybrid Systems. In FTRTFT\u201998: Formal Techniques in Real Time and Fault Tolerant Systems, LNCS 1486. Springer-Verlag, 1998."},{"key":"7_CR9","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231\u2013274, 1987.","journal-title":"Science of Computer Programming"},{"key":"7_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1007\/3-540-44929-9_38","volume-title":"TCS 00: Theoretical Computer Science","author":"T.A. Henzinger","year":"2000","unstructured":"T.A. Henzinger. Masaccio: a formal model for embedded components. In TCS 00: Theoretical Computer Science, LNCS 1872, pages 549\u2013563. Springer, 2000."},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"7_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"496","DOI":"10.1007\/BFb0020971","volume-title":"Hybrid Systems III: Verification and Control","author":"N. Lynch","year":"1996","unstructured":"N. Lynch, R. Segala, F. Vaandrager, and H. Weinberg. Hybrid I\/O automata. In Hybrid Systems III: Verification and Control, LNCS 1066, pages 496\u2013510, 1996."},{"key":"7_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/BFb0032003","volume-title":"Real-Time: Theory in Practice, REX Workshop","author":"O. Maler","year":"1991","unstructured":"O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In Real-Time: Theory in Practice, REX Workshop, LNCS 600, pages 447\u2013484. Springer-Verlag,1991."},{"key":"7_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","author":"R. Milner","year":"1980","unstructured":"R. Milner. A Calculus of Communicating Systems. LNCS 92. Springer-Verlag, 1980."}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45351-2_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T18:23:59Z","timestamp":1684088639000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45351-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540418665","9783540453512"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-45351-2_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}