{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:22:42Z","timestamp":1725492162080},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540426738"},{"type":"electronic","value":"9783540454496"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45449-7_28","type":"book-chapter","created":{"date-parts":[[2007,9,21]],"date-time":"2007-09-21T15:54:26Z","timestamp":1190390066000},"page":"403-415","source":"Crossref","is-referenced-by-count":4,"title":["Embedded Software: Challenges and Opportunities"],"prefix":"10.1007","author":[{"given":"Janos","family":"Sztipanovits","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabor","family":"Karsai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,9,27]]},"reference":[{"unstructured":"J. Sztipanovits and G. Karsai: \u201cModel-Integrated Computing,\u201d IEEE Computer, April, 1997 (1997) 110\u2013112","key":"28_CR1"},{"doi-asserted-by":"crossref","unstructured":"R. Alur, T. A. Henzinger, G. Laferriere, G. J. Pappas: \u201cDiscrete Abstractions of Hybrid Systems,\u201d Proc. of the IEEE, Vol. 88, No. 7, (2000) 984","key":"28_CR2","DOI":"10.1109\/5.871304"},{"unstructured":"E. A. Lee and A. Sangiovanni-Vincentelli: \u201cA Framework for Comparing Models of Computations,\u201d IEEE Trans. CAD Integrated Circuits and Systems, (1998) 1217\u20131229","key":"28_CR3"},{"unstructured":"OMG Unified Modeling Language Specification, Version 1.3. June, 1999 (\n                  http:\/\/www.rational.com\/media\/uml\/\n                  \n                )","key":"28_CR4"},{"unstructured":"Modelica Documents: \n                  http:\/\/www.modelica.org\/documents.shtml","key":"28_CR5"},{"unstructured":"Rosetta Documents: \n                  http:\/\/www.sldl.org\/","key":"28_CR6"},{"unstructured":"G. Karsai, G. Nordstrom, A. Ledeczi, J. Sztipanovits: \u201cTowards Two-Level Formal Modeling of Computer-Based Systems,\u201d Journal of Universal Computer Science, Vol.6, No. 10, (2000) 1131\u20131144","key":"28_CR7"},{"unstructured":"CDIF Meta Model documentation. \n                  http:\/\/www.metamodel.com\/cdif-metamodel.html","key":"28_CR8"},{"doi-asserted-by":"crossref","unstructured":"Ledeczi A., Maroti M., Karsai G., Nordstrom G.: \u201cMetaprogrammable Toolkit for Model-Integrated Computing\u201d, Proceedings of the Engineering of Computer Based Systems (ECBS) Conference, Nashville, TN, March, 1999 (1999) 311\u2013319","key":"28_CR9","DOI":"10.1109\/ECBS.1999.755896"},{"unstructured":"Object Constraint Language Specification, ver. 1.1, Rational Software Corporation, et al., Sept. 1997. (1997)","key":"28_CR10"},{"doi-asserted-by":"crossref","unstructured":"Nordstrom G., Sztipanovits J., Karsai G., Ledeczi, A.: \u201cMetamodeling-Rapid Design and Evolution of Domain-Specific Modeling Environments\u201d, Proceedings of the IEEE ECBS\u201999, Nashville, TN, April, 1999. (1999) 68\u201375","key":"28_CR11","DOI":"10.1109\/ECBS.1999.755863"},{"unstructured":"Generic Modeling Environment documents, \n                  http:\/\/www.isis.vanderbilt.edu\/projects\/gme\/Doc.html","key":"28_CR12"},{"unstructured":"Karsai, G., Gray, J.: \u201cDesign Tool Integration: An Exercise in Semantic Interoperability,\u201d Proceedings of the Engineering of Computer Based Systems (ECBS) Conference, Edinburgh, UK, March, 2000. (2000) 272\u2013278","key":"28_CR13"},{"unstructured":"Czarnecki, K. Eisenecker, U: Generative Programming-Methods, Tools, and Applications, Addison-Wesley, 2000","key":"28_CR14"}],"container-title":["Lecture Notes in Computer Science","Embedded Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45449-7_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T19:59:22Z","timestamp":1550433562000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45449-7_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540426738","9783540454496"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-45449-7_28","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}