{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T23:46:35Z","timestamp":1743032795100,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":67,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642162763"},{"type":"electronic","value":"9783642162770"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-16277-0_2","type":"book-chapter","created":{"date-parts":[[2010,10,13]],"date-time":"2010-10-13T11:55:33Z","timestamp":1286970933000},"page":"17-54","source":"Crossref","is-referenced-by-count":8,"title":["2 Model-Based Integration"],"prefix":"10.1007","author":[{"given":"Holger","family":"Giese","sequence":"first","affiliation":[]},{"given":"Stefan","family":"Neumann","sequence":"additional","affiliation":[]},{"given":"Oliver","family":"Niggemann","sequence":"additional","affiliation":[]},{"given":"Bernhard","family":"Sch\u00e4tz","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"2_CR1","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1002\/sys.20085","volume":"11","author":"J.A. Lane","year":"2008","unstructured":"Lane, J.A., Boehm, B.: System of systems lead system integrators: Where do they spend their time and what makes them more or less efficient? Systems Engineering\u00a011(1), 81\u201391 (2008)","journal-title":"Systems Engineering"},{"issue":"3","key":"2_CR2","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1002\/(SICI)1520-6858(1998)1:3<176::AID-SYS3>3.0.CO;2-L","volume":"1","author":"A.P. Sage","year":"1998","unstructured":"Sage, A.P., Lynch, C.L.: Systems integration and architecting: An overview of principles, practices, and perspectives. Systems Engineering\u00a01(3), 176\u2013227 (1998)","journal-title":"Systems Engineering"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Chen, D., Torngren, M., Shi, J., Gerard, S., Lonn, H., Servat, D., Stromberg, M., Arzen, K.E.: Model integration in the development of embedded control systems - a characterization of current research efforts. In: 2006 IEEE International Symposium on Computer-Aided Control Systems Design, October 4-6, pp. 1187\u20131193 (2006)","DOI":"10.1109\/CACSD-CCA-ISIC.2006.4776811"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Feiler, P., Gluch, D., Hudak, J.: The architecture analysis & design language (aadl): An introduction. Technical Report CMU\/SEI-2006-TN-011, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA, USA (2006)","DOI":"10.21236\/ADA455842"},{"issue":"3","key":"2_CR5","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/s10009-004-0155-8","volume":"6","author":"S. Burmester","year":"2004","unstructured":"Burmester, S., Giese, H., Niere, J., Tichy, M., Wadsack, J.P., Wagner, R., Wendehals, L., Z\u00fcndorf, A.: Tool Integration at the Meta-Model Level within the FUJABA Tool Suite. International Journal on Software Tools for Technology Transfer (STTT)\u00a06(3), 203\u2013218 (2004)","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"key":"2_CR6","unstructured":"Mosterman, P.J., Ghidella, J., Friedman, J.: Model-based design for system integration. In: Second CDEN International Conference on Design Education, Innovation, and Practice, Kananaskis, Alberta, Canada, July 18-20 (2005)"},{"key":"2_CR7","first-page":"60","volume-title":"On the role of scientific thought","author":"E.W. Dijkstra","year":"1982","unstructured":"Dijkstra, E.W.: On the role of scientific thought, pp. 60\u201366. Springer, New York (1982)"},{"issue":"12","key":"2_CR8","doi-asserted-by":"publisher","first-page":"1053","DOI":"10.1145\/361598.361623","volume":"15","author":"D.L. Parnas","year":"1972","unstructured":"Parnas, D.L.: On the Criteria To Be Used in Decomposing Systems Into Modules. Communications of the ACM\u00a015(12), 1053\u20131058 (1972)","journal-title":"Communications of the ACM"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Bosch, J., Bosch-Sijtsema, P.: From integration to composition: On the impact of software product lines, global development and ecosystems. Journal of Systems and Software\u00a083(1), 67\u201376 (2010) (SI: Top Scholars)","DOI":"10.1016\/j.jss.2009.06.051"},{"key":"2_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/978-3-540-30101-1_7","volume-title":"Formal Methods for Components and Objects","author":"J.M. K\u00fcster","year":"2004","unstructured":"K\u00fcster, J.M., Engels, G.: Consistency management within model-based object-oriented development of components. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2003. LNCS, vol.\u00a03188, pp. 157\u2013176. Springer, Heidelberg (2004)"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Giese, H., Wagner, R.: From model transformation to incremental bidirectional model synchronization. Software and Systems Modeling\u00a08(1) (March 2009) (online first: 3\/2008)","DOI":"10.1007\/s10270-008-0089-9"},{"key":"2_CR12","volume-title":"MDA Distilled: Principles of Model-Driven Architecture","author":"S. Mellor","year":"2004","unstructured":"Mellor, S., Scott, K., Uhl, A., Weise, D.: MDA Distilled: Principles of Model-Driven Architecture. Addison-Wesley, Reading (2004)"},{"key":"2_CR13","unstructured":"Watkins, C.B.: Modular Verification: Testing a Subset of Integrated Modular Avionics in Isolation. In: 25th Digital Avionics Systems Conference, 2006 IEEE\/AIAA, Portland, OR, IEEE Xplore (2006)"},{"key":"2_CR14","volume-title":"Testing Embedded Software","author":"B. Broekman","year":"2003","unstructured":"Broekman, B., Notenboom, E.: Testing Embedded Software. Addison-Wesley, Reading (2003)"},{"key":"2_CR15","unstructured":"AUTOSAR: Web page, http:\/\/www.autosar.org\/"},{"key":"2_CR16","unstructured":"Fennel, H., Bunzel, S., et al.: H.H.: Achievements and Exploitation of the AUTOSAR Development Partnership. In: Convergence, Detroit, USA (2006) (SAE 2006-21-0019)"},{"key":"2_CR17","unstructured":"Richter, K.: On the Complexity of Adding Real-Time Properties to the AUTOSAR Software Component Model. In: Proc. of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany (October 2007)"},{"key":"2_CR18","unstructured":"F\u00fcrst, S.: AUTOSAR - A World Wide Standard is on the Road. In: 14th International VDI Congress Electronic Systems for Motor Vehicles, Baden-Baden, Germany (October 2009)"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"L\u00f6nn, H.: Far east: Modeling an automotive software architecture using the east adl. In: ICSE 2004 workshop on Software Engineering for Automotive Systems, SEAS (2004)","DOI":"10.1049\/ic:20040338"},{"key":"2_CR20","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1145\/168619.168624","volume-title":"SOSP 1993: Proceedings of the fourteenth ACM symposium on Operating systems principles","author":"B. Oki","year":"1993","unstructured":"Oki, B., Pfluegl, M., Siegel, A., Skeen, D.: The information bus: an architecture for extensible distributed systems. In: SOSP 1993: Proceedings of the fourteenth ACM symposium on Operating systems principles, pp. 58\u201368. ACM, New York (1993)"},{"key":"2_CR21","unstructured":"Pardo-Castellote, G.: OMG Data-Distribution Service: Architectural Overview. In: International Conference on Distributed Computing Systems Workshops, p. 200 (2003)"},{"key":"2_CR22","unstructured":"Allen, P. (ed.): The OMG\u2019s Model Driven Architecture. Component Development Strategies, The Monthly Newsletter from the Cutter Information Corp. on Managing and Developing Component-Based Systems, vol. XII (January 2002)"},{"key":"2_CR23","unstructured":"Object Management Group: MDA Guide Version 1.0, Document omg\/2003-05-01 (May 2003)"},{"key":"2_CR24","unstructured":"Selic, B., Gullekson, G., Ward, P.: Real-Time Object-Oriented Modeling. John Wiley & Sons, Inc., Chichester (1994)"},{"key":"2_CR25","volume-title":"Object-Oriented Technology for Real-Time Systems: A Practical Approach Using OMT and Fusion","author":"M. Awad","year":"1996","unstructured":"Awad, M., Kuusela, J., Ziegler, J.: Object-Oriented Technology for Real-Time Systems: A Practical Approach Using OMT and Fusion. Prentice Hall, Englewood Cliffs (1996)"},{"key":"2_CR26","series-title":"The Addison-Wesley Object Technology Series","volume-title":"Real-Time UML: Developing Efficient Objects for Embedded Systems","author":"B.P. Douglass","year":"1999","unstructured":"Douglass, B.P.: Real-Time UML: Developing Efficient Objects for Embedded Systems, 2nd edn. The Addison-Wesley Object Technology Series. Addison-Wesley, Reading (October 1999)","edition":"2"},{"key":"2_CR27","volume-title":"Designing Concurrent, Distributed, and Real-Time Applications with UML","author":"H. Gomaa","year":"2000","unstructured":"Gomaa, H.: Designing Concurrent, Distributed, and Real-Time Applications with UML. Addison-Wesley, Reading (January 2000)"},{"key":"2_CR28","first-page":"271","volume-title":"Proc. on the 2002 IEEE Workshop on Object-oriented Realtime-dependable Systems, WORDS 2002","author":"L. Bichler","year":"2002","unstructured":"Bichler, L., Radermacher, A., Sch\u00fcrr, A.: Evaluation uml extensions for modeling realtime systems. In: Proc. on the 2002 IEEE Workshop on Object-oriented Realtime-dependable Systems, WORDS 2002, San Diego, USA, pp. 271\u2013278. IEEE Computer Society Press, Los Alamitos (2002)"},{"key":"2_CR29","unstructured":"Object Management Group: UML Profile for Schedulability, Performance, and Time Specification. OMG Document ptc\/02-03-02 (September 2002)"},{"key":"2_CR30","unstructured":"Gu, Z., Kodase, S., Wang, S., Shin, K.G.: A Model-Based Approach to System-Level Dependency and Real-Time Analysis of Embedded Software. In: The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, Toronto, Canada (2003)"},{"key":"2_CR31","unstructured":"Masse, J., Kim, S., Hong, S.: Tool Set Implementation for Scenario-based Multithreading of UML-RT Models and Experimental Validation. In: The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, Toronto, Canada (May 2003)"},{"key":"2_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/11538097_4","volume-title":"Model Driven Architecture","author":"S. Burmester","year":"2005","unstructured":"Burmester, S., Giese, H., Tichy, M.: Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML. In: A\u00dfmann, U., Aksit, M., Rensink, A. (eds.) MDAFA 2003. LNCS, vol.\u00a03599, pp. 47\u201361. Springer, Heidelberg (2005)"},{"key":"2_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/11581741_4","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"S. Burmester","year":"2005","unstructured":"Burmester, S., Giese, H., Sch\u00e4fer, W.: Model-driven architecture for hard real-time systems: From platform independent models to code. In: Hartman, A., Kreische, D. (eds.) ECMDA-FA 2005. LNCS, vol.\u00a03748, pp. 25\u201340. Springer, Heidelberg (2005)"},{"key":"2_CR34","doi-asserted-by":"crossref","unstructured":"Burmester, S., Giese, H., Hirsch, M., Schilling, D., Tichy, M.: The Fujaba Real-Time Tool Suite: Model-Driven Development of Safety-Critical, Real-Time Systems. In: ICSE 2005: Proceedings of the 27th International Conference on Software Engineering, pp. 670\u2013671. ACM Press, New York (2005)","DOI":"10.1145\/1062455.1062601"},{"key":"2_CR35","unstructured":"Object Management Group: UML 2.0 Superstructure Specification. Document: ptc\/04-10-02 (convenience document) (October 2004)"},{"key":"2_CR36","volume-title":"Proc. of the European Software Engineering Conference (ESEC)","author":"H. Giese","year":"2003","unstructured":"Giese, H., Tichy, M., Burmester, S., Sch\u00e4fer, W., Flake, S.: Towards the Compositional Verification of Real-Time UML Designs. In: Proc. of the European Software Engineering Conference (ESEC), Helsinki, Finland. ACM Press, New York (2003)"},{"key":"2_CR37","unstructured":"Giese, H., Burmester, S.: Real-Time Statechart Semantics. TechReport tr-ri-03-239, University of Paderborn (2003)"},{"key":"2_CR38","doi-asserted-by":"crossref","unstructured":"Larsen, K., Pettersson, P., Yi, W.: UPPAAL in a Nutshell. Springer International Journal of Software Tools for Technology\u00a01(1) (1997)","DOI":"10.1007\/s100090050010"},{"key":"2_CR39","unstructured":"Henzinger, T.A., Nicollin, X., Sifakis, J., Yovine, S.: Symbolic Model Checking for Real-Time Systems. In: Proc. of IEEE Symposium on Logic in Computer Science (1992)"},{"key":"2_CR40","unstructured":"Tichy, M., Giese, H., Seibel, A.: Story Diagrams in Real-Time Software. In: Giese, H., Westfechtel, B. (eds.) Proc. of the 4th International Fujaba Days, Bayreuth, Germany. Volume tr-ri-06-275 of Technical Report. University of Paderborn, pp. 15\u201322 (September 2006)"},{"key":"2_CR41","doi-asserted-by":"crossref","unstructured":"Henkler, S., Oberthur, S., Giese, H., Seibel, A.: Model-Driven Runtime Resource Predictions for Advanced Mechatronic Systems with Dynamic Data Structures. In: Proc. of 13th International Symposium on Object\/component\/service-oriented Real-time distributed Computing (ISORC), May 5-6. IEEE Computer Society Press, Los Alamitos (accepted 2010)","DOI":"10.1109\/ISORC.2010.17"},{"key":"2_CR42","unstructured":"Burmester, S., Giese, H., Hirsch, M., Schilling, D.: Incremental Design and Formal Verification with UML\/RT in the FUJABA Real-Time Tool Suite. In: Proceedings of the International Workshop on Specification and vaildation of UML models for Real Time and embedded Systems, SVERTS 2004, Satellite Event of the 7th International Conference on the Unified Modeling Language, UML 2004 (October 2004)"},{"key":"2_CR43","doi-asserted-by":"crossref","unstructured":"Becker, B., Beyer, D., Giese, H., Klein, F., Schilling, D.: Symbolic Invariant Verification for Systems with Dynamic Structural Adaptation. In: Proc. of the 28th International Conference on Software Engineering (ICSE), Shanghai, China. (2006)","DOI":"10.1145\/1134285.1134297"},{"key":"2_CR44","first-page":"203","volume-title":"Proc. of 11th International Symposium on Object\/component\/service-oriented Real-time distributed Computing (ISORC)","author":"B. Becker","year":"2008","unstructured":"Becker, B., Giese, H.: On Safe Service-Oriented Real-Time Coordination for Autonomous Vehicles. In: Proc. of 11th International Symposium on Object\/component\/service-oriented Real-time distributed Computing (ISORC), May 5-7, pp. 203\u2013210. IEEE Computer Society Press, Los Alamitos (2008)"},{"key":"2_CR45","unstructured":"Burmester, S., Giese, H., Gambuzza, A., Oberschelp, O.: Partitioning and Modular Code Synthesis for Reconfigurable Mechatronic Software Components. In: Bobeanu, C. (ed.) Proc. of European Simulation and Modelling Conference (ESMc 2004), Paris, France, pp. 66\u201373. EOROSIS Publications (2004)"},{"key":"2_CR46","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/978-3-540-30138-7_15","volume-title":"Computer Safety, Reliability, and Security","author":"H. Giese","year":"2004","unstructured":"Giese, H., Tichy, M., Schilling, D.: Compositional Hazard Analysis of UML Components and Deployment Models. In: Heisel, M., Liggesmeyer, P., Wittmann, S. (eds.) SAFECOMP 2004. LNCS, vol.\u00a03219, pp. 166\u2013179. Springer, Heidelberg (2004)"},{"key":"2_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/11875567_12","volume-title":"Computer Safety, Reliability, and Security","author":"H. Giese","year":"2006","unstructured":"Giese, H., Tichy, M.: Component-Based Hazard Analysis: Optimal Designs, Product Lines, and Online-Reconfiguration. In: G\u00f3rski, J. (ed.) SAFECOMP 2006. LNCS, vol.\u00a04166, pp. 156\u2013169. Springer, Heidelberg (2006)"},{"issue":"1","key":"2_CR48","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1109\/JPROC.2002.805821","volume":"91","author":"H. Kopetz","year":"2003","unstructured":"Kopetz, H., Bauer, G.: The time-triggered architecture. Proceedings of the IEEE\u00a091(1), 112\u2013126 (2003)","journal-title":"Proceedings of the IEEE"},{"key":"2_CR49","doi-asserted-by":"crossref","unstructured":"Henzinger, T., Horowitz, B., Kirsch, C.: Giotto: a time-triggered language for embedded programming. Proceedings of the IEEE\u00a091(1) (January 2003)","DOI":"10.1109\/JPROC.2002.805825"},{"issue":"4","key":"2_CR50","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1109\/TSE.2006.39","volume":"32","author":"S. Wang","year":"2006","unstructured":"Wang, S., Shin, K.G.: Task construction for model-based design of embedded control software. IEEE Trans. Software Eng.\u00a032(4), 254\u2013264 (2006)","journal-title":"IEEE Trans. Software Eng."},{"key":"2_CR51","first-page":"371","volume-title":"EMSOFT 2005: Proceedings of the 5th ACM international conference on Embedded software","author":"G. Madl","year":"2005","unstructured":"Madl, G., Abdelwahed, S.: Model-based analysis of distributed real-time embedded system composition. In: EMSOFT 2005: Proceedings of the 5th ACM international conference on Embedded software, pp. 371\u2013374. ACM, New York (2005)"},{"key":"2_CR52","doi-asserted-by":"crossref","unstructured":"Krause, M., Bringmann, O., Hergenhan, A., Tabanoglu, G., Rosentiel, W.: Timing simulation of interconnected AUTOSAR software-components. In: DATE 2007: Proceedings of the conference on Design, automation and test in Europe, San Jose, CA, USA, EDA Consortium, pp. 474\u2013479 (2007)","DOI":"10.1109\/DATE.2007.364638"},{"key":"2_CR53","unstructured":"Sangiovanni-Vincentelli, A.: Defining platform-based design. EEDesign of EETimes (February 2002)"},{"issue":"1","key":"2_CR54","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1109\/JPROC.2002.805827","volume":"91","author":"B. Horowitz","year":"2003","unstructured":"Horowitz, B., Liebman, J., Ma, C., Koo, T., Sangiovanni-Vincentelli, A., Sastry, S.: Platform-based embedded software design and system integration for autonomous vehicles. Proceedings of the IEEE\u00a091(1), 198\u2013211 (2003)","journal-title":"Proceedings of the IEEE"},{"key":"2_CR55","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/3-540-45449-7_11","volume-title":"Embedded Software","author":"L. Alfaro de","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface theories for component-based design. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol.\u00a02211, pp. 148\u2013165. Springer, Heidelberg (2001)"},{"key":"2_CR56","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1145\/1176887.1176894","volume-title":"EMSOFT 2006: Proceedings of the 6th ACM & IEEE International conference on Embedded software","author":"L. Thiele","year":"2006","unstructured":"Thiele, L., Wandeler, E., Stoimenov, N.: Real-time interfaces for composing real-time systems. In: EMSOFT 2006: Proceedings of the 6th ACM & IEEE International conference on Embedded software, pp. 34\u201343. ACM, New York (2006)"},{"key":"2_CR57","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1145\/1176887.1176895","volume-title":"EMSOFT 2006: Proceedings of the 6th ACM & IEEE International conference on Embedded software","author":"Y. Zhou","year":"2006","unstructured":"Zhou, Y., Lee, E.A.: A causality interface for deadlock analysis in dataflow. In: EMSOFT 2006: Proceedings of the 6th ACM & IEEE International conference on Embedded software, pp. 44\u201352. ACM, New York (2006)"},{"key":"2_CR58","unstructured":"Damm, W., Votintseva, A., Metzner, A., Josko, B., Peikenkamp, T., B\u00f6de, E.: Boosting re-use of embedded automotive applications through rich components. In: Proc.\u00a0of Foundations of Interface Technologies 2005, FIT 2005 (2005)"},{"issue":"1-3","key":"2_CR59","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/j.scico.2004.05.014","volume":"55","author":"G. G\u00f6ssler","year":"2005","unstructured":"G\u00f6ssler, G., Sifakis, J.: Composition for component-based modeling. Sci. Comput. Program.\u00a055(1-3), 161\u2013183 (2005)","journal-title":"Sci. Comput. Program."},{"key":"2_CR60","first-page":"11","volume-title":"EMSOFT 2007: Proceedings of the 7th ACM & IEEE international conference on Embedded software","author":"S. Bliudze","year":"2007","unstructured":"Bliudze, S., Sifakis, J.: The algebra of connectors: structuring interaction in bip. In: EMSOFT 2007: Proceedings of the 7th ACM & IEEE international conference on Embedded software, pp. 11\u201320. ACM, New York (2007)"},{"key":"2_CR61","doi-asserted-by":"crossref","unstructured":"Reichmann, C., Markus, K., Graf, P., M\u00fcller-Glaser, K.D.: Generalstore - a case-tool integration platform enabling model level coupling of heterogeneous designs for embedded electronic systems. In: ECBS 2004: Proceedings of the 11th IEEE International Conference and Workshop on Engineering of Computer-Based Systems, Washington, DC, USA, p. 225. IEEE Computer Society, Los Alamitos (2004)","DOI":"10.1109\/ECBS.2004.1316703"},{"key":"2_CR62","unstructured":"Altheide, F., D\u00f6rr, H., Sch\u00fcrr, A.: Requirements to a Framework for sustainable Integration of System Development Tools. In: Stoewer, H., Garnier, L. (eds.) Proc. of the 3rd European Systems Engineering Conference (EuSEC 2002), Toulouse, AFIS PC Chairs, pp. 53\u201357 (2002)"},{"issue":"2","key":"2_CR63","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/s10270-004-0073-y","volume":"4","author":"G. Karsai","year":"2005","unstructured":"Karsai, G., Lang, A., Neema, S.: Design patterns for open tool integration. Software and System Modeling\u00a04(2), 157\u2013170 (2005)","journal-title":"Software and System Modeling"},{"key":"2_CR64","unstructured":"Giese, H., Hildebrandt, S., Neumann, S.: Towards Integrating SysML and AUTOSAR Modeling via Bidirectional Model Synchronization. In: 5th Workshop on Model-Based Development of Embedded Systems, MBEES (2009)"},{"issue":"4","key":"2_CR65","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1109\/2.585163","volume":"30","author":"J. Sztipanovits","year":"1997","unstructured":"Sztipanovits, J., Karsai, G.: Model-Integrated Computing. Computer\u00a030(4), 110\u2013111 (1997)","journal-title":"Computer"},{"key":"2_CR66","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: Model-integrated development of embedded software. Proceedings of the IEEE\u00a091, 145\u2013164 (2003)","journal-title":"Proceedings of the IEEE"},{"key":"2_CR67","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1109\/ISORC.2005.34","volume-title":"ISORC 2005: Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing","author":"M. Schulte","year":"2005","unstructured":"Schulte, M.: Model-based integration of reusable component-based avionics systems - a case study. In: ISORC 2005: Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, Washington, DC, USA, pp. 62\u201371. IEEE Computer Society, Los Alamitos (2005)"}],"container-title":["Lecture Notes in Computer Science","Model-Based Engineering of Embedded Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16277-0_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,26]],"date-time":"2025-02-26T18:14:38Z","timestamp":1740593678000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16277-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642162763","9783642162770"],"references-count":67,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16277-0_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}