{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,7]],"date-time":"2026-07-07T17:24:11Z","timestamp":1783445051950,"version":"3.54.6"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642548475","type":"print"},{"value":"9783642548482","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-54848-2_16","type":"book-chapter","created":{"date-parts":[[2014,7,9]],"date-time":"2014-07-09T15:35:39Z","timestamp":1404920139000},"page":"235-248","source":"Crossref","is-referenced-by-count":43,"title":["OpenMETA: A Model- and Component-Based Design Tool Chain for Cyber-Physical Systems"],"prefix":"10.1007","author":[{"given":"Janos","family":"Sztipanovits","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ted","family":"Bapty","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sandeep","family":"Neema","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Larry","family":"Howard","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ethan","family":"Jackson","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"Eremenko, P.: Philosophical Underpinnings of Adaptive Vehicle Make. DARPA-BAA-12-15. Appendix 1 (December 5, 2011)"},{"issue":"1-3","key":"16_CR2","first-page":"161","volume":"55","author":"G. Gossler","year":"2005","unstructured":"Gossler, G., Sifakis, J.: Composition for component-based modeling. Science of Computer Programming - Formal Methods for Components and Objects Pragmatic Aspects and Applications\u00a055(1-3), 161\u2013183 (2005)","journal-title":"Science of Computer Programming - Formal Methods for Components and Objects Pragmatic Aspects and Applications"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Lattmann, Z., Nagel, A., Scott, J., Smyth, K., van Buskirk, C., Porter, J., Neema, S., Bapty, T., Sztipanovits, J.: Towards Automated Evaluation of Vehicle Dynamics in System-Level Design. In: Proceedings of the ASME 2012 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, IDETC\/CIE 2012, Chicago, IL, August 12-15 (2012)","DOI":"10.1115\/DETC2012-71378"},{"key":"#cr-split#-16_CR4.1","doi-asserted-by":"crossref","unstructured":"Simko, G., Levendovszky, T., Neema, S., Jackson, E., Bapty, T., Porter, J., Sztipanovits, J.: Foundation for Model Integration: Semantic Backplane. In: Proceedings of the ASME 2012 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, IDETC\/CIE 2012, Chicago, IL, August 12-15 (2012)","DOI":"10.1115\/DETC2012-70534"},{"key":"#cr-split#-16_CR4.2","doi-asserted-by":"crossref","unstructured":"Sztipanovits J., Karsai G.: Model-Integrated Computing. IEEE Computer 30, 110-112 (1997)","DOI":"10.1109\/2.585163"},{"issue":"4","key":"16_CR5","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/s10270-008-0105-0","volume":"8","author":"Ethan Jackson","year":"2008","unstructured":"Jackson, E., Sztipanovits, J.: Formalizing the Structural Semantics of Domain-Specific Modeling Languages. Journal of Software and Systems Modeling, 451\u2013478 (September 2009)","journal-title":"Software & Systems Modeling"},{"issue":"3","key":"16_CR6","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1109\/JPROC.2006.890107","volume":"95","author":"A. Sangiovanni-Vincentelli","year":"2007","unstructured":"Sangiovanni-Vincentelli, A.: Quo Vadis, SLD? Reasoning about the Trends and Challenges of System Level Design. Proc. of the IEEE\u00a095(3), 467\u2013506 (2007)","journal-title":"Proc. of the IEEE"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Jackson, E., Porter, J., Sztipanovits, J.: Semantics of Domain Specific Modeling Languages. In: Mosterman, P., Nicolescu, G. (eds.) Model-Based Design of Heterogeneous Embedded Systems, November 24, pp. 437\u2013486. CRC Press (2009)","DOI":"10.1201\/9781420067859-c14"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Chen, K., Sztipanovits, J., Neema, S.: Compositional Specification of Behavioral Semantics. In: Lauwereins, R., Madsen, J. (eds.) Design, Automation, and Test in Europe: The Most Influential Papers of 10 Years DATE. Springer (2008)","DOI":"10.1007\/978-1-4020-6488-3_19"},{"key":"16_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/978-3-540-75209-7_28","volume-title":"Model Driven Engineering Languages and Systems","author":"E.K. Jackson","year":"2007","unstructured":"Jackson, E.K., Sztipanovits, J.: Constructive Techniques for Meta- and Model-Level Reasoning. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol.\u00a04735, pp. 405\u2013419. Springer, Heidelberg (2007)"},{"key":"16_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"653","DOI":"10.1007\/978-3-642-24485-8_48","volume-title":"Model Driven Engineering Languages and Systems","author":"E.K. Jackson","year":"2011","unstructured":"Jackson, E.K., Tiham, Balasubramanian, D.: Reasoning about Metamodeling with Formal Specifications and Automatic Proofs. In: Whittle, J., Clark, T., K\u00fchne, T. (eds.) MODELS 2011. LNCS, vol.\u00a06981, pp. 653\u2013667. Springer, Heidelberg (2011)"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Sangiovanni-Vincentelli, A., Shukla, S., Sztipanovits, J., Yang, G.: Metamodeling: An Emerging representation Paradigm for System-Level Design. IEEE Design and Test of Computers (May\/June 2009)","DOI":"10.1109\/MDT.2009.62"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Jackson, E., Simko, G., Sztipanovits, J.: Diversely Enumerating System-Level Architectures. In: Proceedings of EMSOFT 2013, Embedded Systems Week, Montreal, CA, September 29-October 4 (2013)","DOI":"10.1109\/EMSOFT.2013.6658589"},{"issue":"3","key":"16_CR13","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1145\/502807.502810","volume":"33","author":"E. Dantsin","year":"2001","unstructured":"Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and expressive power of logic programming. ACM Comput. Surv.\u00a033(3), 374\u2013425 (2001)","journal-title":"ACM Comput. Surv."},{"key":"16_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-68855-6_1","volume-title":"Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2008","author":"E.K. Jackson","year":"2008","unstructured":"Jackson, E.K., Schulte, W.: Model Generation for Horn Logic with Stratified Negation. In: Suzuki, K., Higashino, T., Yasumoto, K., El-Fakih, K. (eds.) FORTE 2008. LNCS, vol.\u00a05048, pp. 1\u201320. Springer, Heidelberg (2008)"},{"key":"16_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L. Moura de","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.: Z3: An efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol.\u00a04963, pp. 337\u2013340. Springer, Heidelberg (2008)"},{"key":"16_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/978-3-540-75209-7_28","volume-title":"Model Driven Engineering Languages and Systems","author":"E.K. Jackson","year":"2007","unstructured":"Jackson, E.K., Sztipanovits, J.: Constructive Techniques for Meta- and Model-Level Reasoning. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol.\u00a04735, pp. 405\u2013419. Springer, Heidelberg (2007)"},{"issue":"2","key":"16_CR17","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1109\/TCST.2004.824311","volume":"12","author":"G. Karsai","year":"2004","unstructured":"Karsai, G., Maroti, M., Ledeczi, A., Gray, J., Sztipanovits, J.: Composition and cloning in modeling and meta-modeling. IEEE Transactions on Control Systems Technology\u00a012(2), 263\u2013278 (2004)","journal-title":"IEEE Transactions on Control Systems Technology"},{"issue":"11","key":"16_CR18","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1109\/2.963443","volume":"34","author":"\u00c1. L\u00e9deczi","year":"2001","unstructured":"L\u00e9deczi, \u00c1., Bakay, \u00c1., Mar\u00f3ti, M., V\u00f6lgyesi, P., Nordstrom, G., Sprinkle, J., Karsai, G.: Composing Domain-Specific Design Environments. IEEE Computer\u00a034(11), 44\u201351 (2001)","journal-title":"IEEE Computer"},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"Wrenn, R., Nagel, A., Owens, R., Yao, D., Neema, H., Shi, F., Smyth, K., van Buskirk, C., Porter, J., Bapty, T., Neema, S., Sztipanovits, J., Ceisel, J., Mavris, D.: Towards Automated Exploration and Assembly of Vehicle Design Models. In: Proceedings of the ASME 2012 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference IDETC\/CIE 2012, Chicago, IL, August 12-15 (2012)","DOI":"10.1115\/DETC2012-71464"},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"Karsai, G., Ledeczi, A., Neema, S., Sztipanovits, J.: The model integrated computing tool suite: Metaprogrammable tools for embedded control system design. In: Proceedings of the IEEE Joint Conference CCA, ISIC and CACSD, Munich, Germany (2006)","DOI":"10.1109\/CACSD.2006.285443"},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"Sztipanovits, J.: Cyber Physical Systems: Convergence of Physical and Information Sciences. In: Information Technology, pp. 257\u2013265. Oldenbourg Wissenschaftsverlag GmbH (June 2012)","DOI":"10.1524\/itit.2012.0688"},{"key":"16_CR22","unstructured":"Simko, G., Levendovszky, T., Maroti, M., Sztipanovits, J.: Towards a Theory for Cyber-Physical Systems Modeling. In: Proc. 3rd Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy 2013), Philadelphia, USA, April 08-11, pp. 1\u20136 (2013)"},{"key":"16_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1007\/978-3-642-41533-3_29","volume-title":"Model-Driven Engineering Languages and Systems","author":"G. Simko","year":"2013","unstructured":"Simko, G., Lindecker, D., Levendovszky, T., Neema, S., Sztipanovits, J.: Specification of Cyber-Physical Components with Formal Semantics \u2013 Integration and Composition. In: Moreira, A., Sch\u00e4tz, B., Gray, J., Vallecillo, A., Clarke, P. (eds.) MODELS 2013. LNCS, vol.\u00a08107, pp. 471\u2013487. Springer, Heidelberg (2013)"},{"key":"16_CR24","doi-asserted-by":"crossref","unstructured":"Eyisi, E., Zhang, Z., Koutsoukos, X., Porter, J., Karsai, G., Sztipanovits, J.: Model-Based Design and Integration of Cyber-Physical Systems: An Adaptive Cruise Control Case Studies. Journal of Control Science and Engineering, Special Issue on Embedded Model-Based Control 2013, Article ID 678016, 15 pages (2013)","DOI":"10.1155\/2013\/678016"},{"key":"16_CR25","doi-asserted-by":"crossref","unstructured":"Fritzson, P., Lattmann, Z., Pop, A., de Kleer, J., Janssen, B., Neema, S., Bapty, T., Koutsoukos, X., Klenk, M., Bobrow, D., Saha, B., Kurtoglu, T.: Verification and Design Exploration through Meta Tool Integration with OpenModelica. In: 10th International Modelica Conference 2014, Lund, Sweden, March 10-12 (2014)","DOI":"10.3384\/ecp14096353"},{"key":"16_CR26","doi-asserted-by":"crossref","unstructured":"Neema, H., Gohl, J., Lattmann, Z., Sztipanovits, J., Karsai, G., Neema, S., Bapty, T., Batteh, J., Tummescheit, H.: Model-Based Integration Platform for FMI Co-Simulation and Heterogeneous Simulations of Cyber-Physical Systems. In: 10th International Modelica Conference 2014, Lund, Sweden, March 10-12 (2014)","DOI":"10.3384\/ecp14096235"}],"container-title":["Lecture Notes in Computer Science","From Programs to Systems. The Systems perspective in Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-54848-2_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,10]],"date-time":"2022-04-10T18:29:58Z","timestamp":1649615398000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-54848-2_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642548475","9783642548482"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54848-2_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}