{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,29]],"date-time":"2026-03-29T15:17:06Z","timestamp":1774797426344,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540672593","type":"print"},{"value":"9783540464303","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46430-1_5","type":"book-chapter","created":{"date-parts":[[2007,10,27]],"date-time":"2007-10-27T04:18:49Z","timestamp":1193458729000},"page":"6-19","source":"Crossref","is-referenced-by-count":78,"title":["Modular Specification of Hybrid Systems in Charon"],"prefix":"10.1007","author":[{"given":"Rajeev","family":"Alur","sequence":"first","affiliation":[]},{"given":"Radu","family":"Grosu","sequence":"additional","affiliation":[]},{"given":"Yerang","family":"Hur","sequence":"additional","affiliation":[]},{"given":"Vijay","family":"Kumar","sequence":"additional","affiliation":[]},{"given":"Insup","family":"Lee","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,2,1]]},"reference":[{"key":"5_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":"5_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, 2000. To appear.","DOI":"10.1145\/325694.325746"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"R. Alur, R. Grosu, Y. Hur, V. Kumar, and I. Lee. Charon: a language for modular specification of hybrid systems. Technical Report MS-CIS-2000-01, University of Pennsylvania, 2000.","DOI":"10.1007\/3-540-46430-1_5"},{"key":"5_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."},{"issue":"3","key":"5_CR5","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1109\/32.489079","volume":"22","author":"R. Alur","year":"1996","unstructured":"R. Alur, T.A. Henzinger, and P.-H. Ho. Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering, 22(3):181\u2013201, 1996.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR6","unstructured":"G. Booch, I. Jacobson, and J. Rumbaugh. Unified Modeling Language User Guide. Addison Wesley, 1997."},{"key":"5_CR7","unstructured":"D.P. Bertsekas and J. N. Tsitsiklis. Parallel and Distributed Computation: Numerical Methods. Athena Scientific, 1997."},{"key":"5_CR8","unstructured":"A. Deshpande, A. G\u00f6llu, and L. Semenzato. The shift programming language and run-time systems for dynamic networks of hybrid automata. Technical Report UCB-ITS-PRR-97-7, University of California at Berkeley, 1997."},{"key":"5_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/BFb0055338","volume-title":"Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT\u201998)","author":"R. Grosu","year":"1998","unstructured":"R. Grosu, T. Stauner, and M. Broy. A modular visual model for hybrid systems. In Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT\u201998), LNCS 1486, pages 75\u201391. Springer-Verlag, 1998."},{"key":"5_CR10","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":"5_CR11","doi-asserted-by":"crossref","unstructured":"T.A. Henzinger, P. Ho, and H. Wong-Toi. HyTech: the next generation. In Proceedings of the 16th IEEE Real-Time Systems Symposium, pages 56\u201365, 1995.","DOI":"10.1109\/REAL.1995.495196"},{"key":"5_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":"5_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":"5_CR14","unstructured":"W. Press, S. Teukolsky, W. Vetterling, and B. Flannery. Numerical Recipes in FORTRAN. Cambridge University Press, 1992."}],"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-46430-1_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T22:09:37Z","timestamp":1556921377000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46430-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672593","9783540464303"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-46430-1_5","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2000]]}}}