{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T23:15:48Z","timestamp":1768000548942,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540202233","type":"print"},{"value":"9783540452126","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45212-6_19","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T20:42:51Z","timestamp":1277844171000},"page":"290-305","source":"Crossref","is-referenced-by-count":50,"title":["Constraint-Based Design-Space Exploration and Model Synthesis"],"prefix":"10.1007","author":[{"given":"Sandeep","family":"Neema","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Janos","family":"Sztipanovits","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabor","family":"Karsai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ken","family":"Butts","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"19_CR1","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1109\/JPROC.2002.805824","volume":"91","author":"G. Karsai","year":"2003","unstructured":"Karsai, G., Sztipanovits, J., Ledeczi, A., Bapty, T.: Model-Integrated Development of Embedded Software. Proceedings of the IEEE\u00a091(1), 145\u2013164 (2003)","journal-title":"Proceedings of the IEEE"},{"key":"19_CR2","volume-title":"Modeling Reactive Systems with Statecharts: The STATEMATE Approach","author":"D. Harel","year":"1998","unstructured":"Harel, D., Politi, M.: Modeling Reactive Systems with Statecharts: The STATEMATE Approach. McGraw-Hill, New York (1998)"},{"key":"19_CR3","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1109\/LICS.1996.561342","volume-title":"Proceedings of the 11th Annual Symposium on Logic in Computer Science (LICS)","author":"T.A. Henzinger","year":"1996","unstructured":"Henzinger, T.A.: The theory of hybrid automata. In: Proceedings of the 11th Annual Symposium on Logic in Computer Science (LICS), pp. 278\u2013292. IEEE Computer Society Press, Los Alamitos (1996)"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"Sztipanovits, J., Karsai, G.: Model-Integrated Computing. IEEE Computer, 110\u2013112 (April 1997)","DOI":"10.1109\/2.585163"},{"key":"19_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/3-540-45923-5_11","volume-title":"Fundamental Approaches to Software Engineering","author":"T. Clark","year":"2002","unstructured":"Clark, T., Evans, A., Kent, S.: Engineering Modeling Languages: A Precise Metamodeling Approach. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol.\u00a02306, pp. 159\u2013173. Springer, Heidelberg (2002)"},{"key":"19_CR6","unstructured":"Evans, A., France, R., Lano, K., Rumpe, B.: Developing UML as a Formal Modeling Notation. LNCS, vol.\u00a01357, pp. 145\u2013150. Springer, Heidelberg (1997)"},{"key":"19_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/3-540-46020-9_12","volume-title":"Software Reuse: Methods, Techniques, and Tools","author":"T. Levendovszky","year":"2002","unstructured":"Levendovszky, T., Karsai, G.: Model reuse with metamodel based-transformations. In: Gacek, C. (ed.) ICSR 2002. LNCS, vol.\u00a02319, p. 166. Springer, Heidelberg (2002)"},{"key":"19_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/3-540-45449-7_6","volume-title":"Embedded Software","author":"K. Butts","year":"2001","unstructured":"Butts, K., Bostic, D., Chutinan, A., Cook, J., Milam, B., Wand, Y.: Usage Scenarios for an Automated Model Compiler. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol.\u00a02211, pp. 66\u201379. Springer, Heidelberg (2001)"},{"key":"19_CR9","unstructured":"Clark, T., Evans, A., Kent, S., Sammut, P.: The MMF Approach to Engineering Object- Oriented Design Languages. In: Workshop on Language Descriptions, Tools and Applications, LDTA 2001 (April 2001)"},{"key":"19_CR10","unstructured":"Neema, S.: Simulink and Stateflow Data Model, see \n                    \n                      http:\/\/www.isis.vanderbilt.edu"},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"Nordstrom G., Sztipanovits J., Karsai G., Ledeczi, A.: Metamodeling - Rapid Design and Evolution of Domain-Specific Modeling Environments. In: Proceedings of the IEEE ECBS 1999, Nashville, TN, April 1999, pp. 68\u201375 (1999)","DOI":"10.1109\/ECBS.1999.755863"},{"key":"19_CR12","unstructured":"Generic Modeling Environment documents, \n                    \n                      http:\/\/www.isis.vanderbilt.edu\/projects\/gme\/Doc.html"},{"key":"19_CR13","unstructured":"Object Constraint Language Specification, ver. 1.1, Rational Software Corporation, et al. (September 1997)"},{"key":"19_CR14","unstructured":"Neema, S.: Design Space Representation and Management for Embedded Systems Synthesis. Technical Report, ISIS-01-203 (February 2001), \n                    \n                      http:\/\/www.isis.vanderbilt.edu\/publications\/archive\/Neema_S_2_0_2003_Design_Spa.pdf"},{"key":"19_CR15","unstructured":"Bryant, R.: Symbolic Manipulation with Ordered Binary Decision Diagrams. School of Computer Science, Carnegie Mellon University, Technical Report CMU-CS-92-160 (July 1992)"},{"key":"19_CR16","unstructured":"UML Semantics, Ver. 1.1., Rational Software Corporation, 1997."},{"key":"19_CR17","unstructured":"http:\/\/www.mozart-oz.org\/"},{"key":"19_CR18","unstructured":"Ledeczi, A., Davis, J., Neema, S., Eames, B., Nordstrom, G., Prasanna, V., Raghavendra, C., Bakshi, A., Mohanty, S., Mathur, V., Singh, M.: Overview of the Model-based Integrated Simulation Framework, Tech. Report, ISIS-01-201, January 30 (2001)"},{"issue":"12","key":"19_CR19","doi-asserted-by":"publisher","first-page":"1217","DOI":"10.1109\/43.736561","volume":"17","author":"E.A. Lee","year":"1998","unstructured":"Lee, E.A., Sangiobanni-Vincentelli, A.L.: A framework for comparing models of computations. IEEE Transactions on Computer Aided Design Integrated Circuits\u00a017(12), 1217\u20131229 (1998)","journal-title":"IEEE Transactions on Computer Aided Design Integrated Circuits"},{"key":"19_CR20","unstructured":"Burch, J.R., Passerone, R., Sangiovanni-Vincentelli, A.L.: Modeling Techniques in Design-by-Refinement Methodologies. In: Proc. of IDPT 2002 (June 2002)"},{"key":"19_CR21","unstructured":"Sangiovanni-Vincentelli, A.L.: Defining platform-based design. EEDesign (February 2002)"},{"key":"19_CR22","unstructured":"Lee, E.A., Neuendorffer, S., Wirthlin, M.J.: Actor-Oriented Design of Hardware and Software Systems (to be published in Journal of Circuits, Systems and Computers) Technical Memorandum UCB\/ERL M02\/13, University of California, Berkeley, CA 94720, May 1 (2002)"}],"container-title":["Lecture Notes in Computer Science","Embedded Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45212-6_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T05:42:31Z","timestamp":1552628551000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45212-6_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540202233","9783540452126"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45212-6_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003]]}}}