{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,25]],"date-time":"2026-01-25T11:19:19Z","timestamp":1769339959201,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":44,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642173219","type":"print"},{"value":"9783642173226","type":"electronic"}],"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-17322-6_23","type":"book-chapter","created":{"date-parts":[[2010,11,8]],"date-time":"2010-11-08T05:03:27Z","timestamp":1289192607000},"page":"533-554","source":"Crossref","is-referenced-by-count":18,"title":["Model-Driven Development with Mechatronic UML"],"prefix":"10.1007","author":[{"given":"Wilhelm","family":"Sch\u00e4fer","sequence":"first","affiliation":[]},{"given":"Heike","family":"Wehrheim","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","series-title":"Lecture Notes in Control and Information Sciences","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1007\/BFb0033565","volume-title":"11th International Conference on Analysis and Optimization of Systems: Discrete Event Systems","author":"R. Alur","year":"1994","unstructured":"Alur, R., Courcoubetis, C., Henzinger, T.A., Ho, P., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The Algorithmic Analysis of Hybrid Systems. In: 11th International Conference on Analysis and Optimization of Systems: Discrete Event Systems. Lecture Notes in Control and Information Sciences, vol.\u00a0199, pp. 329\u2013351. Springer, Heidelberg (1994)"},{"key":"23_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1007\/3-540-45449-7_2","volume-title":"Embedded Software","author":"R. Alur","year":"2001","unstructured":"Alur, R., Dang, T., Esposito, J.M., Fierro, R.B., Hur, Y., Ivancic, F., Kumar, V., Lee, I., Mishra, P., Pappas, G.J., Sokolsky, O.: Hierarchical hybrid modeling of embedded systems. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol.\u00a02211, pp. 14\u201331. Springer, Heidelberg (2001)"},{"key":"23_CR3","unstructured":"Amnell, T., David, A., Fersman, E., Oliver M\u00f6ller, M., Pettersson, P., Yi, W.: Tools for real-time UML: Formal verification and code synthesis. In: Workshop on Specification, Implementation and Validation of Objectoriented Embedded Systems (SIVOES 2001), Budapest, Hungary, pp. 1\u20134 (June 2001)"},{"issue":"7","key":"23_CR4","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1109\/TSE.2004.34","volume":"30","author":"L. Apvrille","year":"2004","unstructured":"Apvrille, L., Courtiat, J.-P., Lohr, C., de Saqui-Sannes, P.: TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit. IEEE Transactions on Software Engineering\u00a030(7), 473\u2013487 (2004)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"23_CR5","first-page":"72","volume-title":"Proc. of the 28 th International Conference on Software Engineering (ICSE)","author":"B. Becker","year":"2006","unstructured":"Becker, B., Beyer, D., Giese, H., Klein, F., Schilling, D.: Symbolic Invariant Verification for Systems with Dynamic Structural Adaptation. In: Proc. of the 28 th International Conference on Software Engineering (ICSE), Shanghai, China, pp. 72\u201381. ACM Press, New York (2006)"},{"key":"23_CR6","first-page":"125","volume-title":"QEST","author":"G. Behrmann","year":"2006","unstructured":"Behrmann, G., David, A., Larsen, K.G., H\u00e5kansson, J., Pettersson, P., Yi, W., Hendriks, M.: Uppaal 4.0. In: QEST, pp. 125\u2013126. IEEE Computer Society, Los Alamitos (2006)"},{"key":"23_CR7","series-title":"Lecture Notes in Control and Information Sciences","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/3-540-45426-8_3","volume-title":"Modelling, Analysis, and Design of Hybrid Systems","author":"K. Bender","year":"2002","unstructured":"Bender, K., Broy, M., P\u00e9ter, I., Pretschner, A., Stauner, T.: Model based development of hybrid systems: Specification, simulation, test case generation. In: Modelling, Analysis, and Design of Hybrid Systems. Lecture Notes in Control and Information Sciences, vol.\u00a0279, pp. 37\u201351. Springer, Heidelberg (2002)"},{"key":"23_CR8","unstructured":"Briand, L.C., Wolf, A.L. (eds.): International Conference on Software Engineering, ISCE 2007, Workshop on the Future of Software Engineering, FOSE 2007, Minneapolis, MN, USA, May 23-25 (2007)"},{"key":"23_CR9","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 (October 2004)"},{"key":"23_CR10","doi-asserted-by":"publisher","first-page":"801","DOI":"10.1109\/ICSE.2007.88","volume-title":"Proceedings of the 29th International Conference on Software Engineering (ICSE)","author":"S. Burmester","year":"2007","unstructured":"Burmester, S., Giese, H., Henkler, S., Hirsch, M., Tichy, M., Gambuzza, A., M\u00fcch, E., V\u00f6cking, H.: Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View. In: Proceedings of the 29th International Conference on Software Engineering (ICSE), Minneapolis, Minnesota, USA, pp. 801\u2013804. IEEE Computer Society Press, Los Alamitos (May 2007)"},{"key":"23_CR11","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: Proc. of the International Workshop on Specification and Validation 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, pp. 1\u201320 (October 2004)"},{"issue":"3","key":"23_CR12","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/s10009-008-0067-0","volume":"10","author":"S. Burmester","year":"2008","unstructured":"Burmester, S., Giese, H., M\u00fcnch, E., Oberschelp, O., Klein, F., Scheideler, P.: Tool Support for the Design of Self-Optimizing Mechatronic Multi-Agent systems. International Journal on Software Tools for Technology Transfer\u00a010(3), 207\u2013222 (2008)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"23_CR13","unstructured":"Burmester, S., Giese, H., Sch\u00e4fer, W.: Code generation for hard real-time systems from real-time statecharts. Technical Report tr-ri-03-244, University of Paderborn, Paderborn, Germany (October 2003)"},{"key":"23_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/3-540-45923-5_15","volume-title":"Fundamental Approaches to Software Engineering","author":"A. David","year":"2002","unstructured":"David, A., M\u00f6ller, M.O., Yi, W.: Formal verification of UML statecharts with real-time extensions. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol.\u00a02306, pp. 208\u2013241. Springer, Heidelberg (2002)"},{"key":"23_CR15","first-page":"247","volume-title":"Handbook of Graph Grammars","author":"H. Ehrig","year":"1997","unstructured":"Ehrig, H., Heckel, R., Korff, M., L\u00f6we, M., Ribeiro, L., Wagner, A., Corradini, A.: Algebraic approaches to graph transformation - part ii: Single pushout approach and comparison with double pushout approach. In: Rozenberg, G. (ed.) Handbook of Graph Grammars, pp. 247\u2013312. World Scientific, Singapore (1997)"},{"key":"23_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/3-540-45669-4_8","volume-title":"Object Modeling with the OCL","author":"S. Flake","year":"2002","unstructured":"Flake, S., Mueller, W.: An OCL Extension for Real-Time Constraints. In: Clark, A., Warmer, J. (eds.) Object Modeling with the OCL. LNCS, vol.\u00a02263, pp. 150\u2013171. Springer, Heidelberg (2002)"},{"key":"23_CR17","first-page":"179","volume-title":"Proc. of 12th ACM SIGSOFT Foundations of Software Engineering 2004 (FSE 2004)","author":"H. Giese","year":"2004","unstructured":"Giese, H., Burmester, S., Sch\u00e4fer, W., Oberschelp, O.: Modular Design and Verification of Component-Based Mechatronic Systems with Online-Reconfiguration. In: Proc. of 12th ACM SIGSOFT Foundations of Software Engineering 2004 (FSE 2004), Newport Beach, USA, pp. 179\u2013188. ACM Press, New York (November 2004)"},{"key":"23_CR18","doi-asserted-by":"publisher","first-page":"528","DOI":"10.1016\/j.jvlc.2006.10.002","volume":"17","author":"H. Giese","year":"2006","unstructured":"Giese, H., Henkler, S.: A survey of approaches for the visual model-driven development of next generation software-intensive systems. Journal of Visual Languages and Computing\u00a017, 528\u2013550 (2006)","journal-title":"Journal of Visual Languages and Computing"},{"key":"23_CR19","first-page":"38","volume-title":"Proc.\u00a0of the 9th European Software Engineering Conference Held Jointly with 11th ACM SIGSOFT International symposium on Foundations of Software Engineering (ESEC\/FSE-11)","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.\u00a0of the 9th European Software Engineering Conference Held Jointly with 11th ACM SIGSOFT International symposium on Foundations of Software Engineering (ESEC\/FSE-11), pp. 38\u201347. ACM Press, New York (September 2003)"},{"key":"23_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/978-3-540-24769-2_21","volume-title":"Software Architecture","author":"S. Graf","year":"2004","unstructured":"Graf, S., Hooman, J.: Correct Development of Embedded Systems. In: Oquendo, F., Warboys, B.C., Morrison, R. (eds.) EWSA 2004. LNCS, vol.\u00a03047, pp. 241\u2013249. Springer, Heidelberg (2004)"},{"key":"23_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/11839569_4","volume-title":"Autonomic and Trusted Computing","author":"M. G\u00fcdemann","year":"2006","unstructured":"G\u00fcdemann, M., Ortmeier, F., Reif, W.: Formal modeling and verification of systems with self-x properties. In: Yang, L.T., Jin, H., Ma, J., Ungerer, T. (eds.) ATC 2006. LNCS, vol.\u00a04158, pp. 38\u201347. Springer, Heidelberg (2006)"},{"key":"23_CR22","doi-asserted-by":"crossref","unstructured":"Henkler, S., Greenyer, J., Hirsch, M., Sch\u00e4fer, W., Alhawash, K., Eckardt, T., Heinzemann, C., L\u00f6ffler, R., Seibel, A., Giese, H.: Synthesis of timed behavior from scenarios in the fujaba real-time tool suite. In: Proc. of the 31th International Conference on Software Engineering (ICSE), Vancouver, Canada (May 2009)","DOI":"10.1109\/ICSE.2009.5070569"},{"key":"23_CR23","unstructured":"Henkler, S., Hirsch, M., Priesterjahn, C.: Hybrid model checking with the fujaba real-time tool suite. In: A\u00dfmann, U., Johannes, J., Z\u00fcndorf, A. (eds.) Proc. of the 6 th International Fujaba Days 2008, Dresden, Germany, pp. 40\u201343 (September 2008)"},{"key":"23_CR24","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A.: The Theory of Hybrid Automata. In: Proceedings of the Eleventh Annual IEEE Symposium on Logic in Computer Science (LICS 1996), pp. 278\u2013292 (1996)","DOI":"10.1109\/LICS.1996.561342"},{"key":"23_CR25","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A., Ho, P.-H., Wong-Toi, H.: Hytech: The next generation. In: IEEE Real-Time Systems Symposium, pp. 56\u201365 (1995)","DOI":"10.1109\/REAL.1995.495196"},{"key":"23_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"545","DOI":"10.1007\/3-540-55719-9_103","volume-title":"9th International Colloquium on Automata, Languages, and Programming (ICALP 1992)","author":"T.A. Henzinger","year":"1992","unstructured":"Henzinger, T.A., Manna, Z., Pnueli, A.: What Good Are Digital Clocks? In: ICALP 1992. LNCS, vol.\u00a0623, pp. 545\u2013558. Springer, Heidelberg (1992)"},{"key":"23_CR27","doi-asserted-by":"crossref","unstructured":"Hestermeyer, T., Oberschelp, O., Giese, H.: Structured Information Processing For Self-optimizing Mechatronic Systems. In: Araujo, H., Vieira, A., Braz, J., Encarnacao, B., Carvalho, M. (eds.) Proc. of 1st International Conference on Informatics in Control, Automation and Robotics (ICINCO 2004), Setubal, Portugal, pp. 230\u2013237. INSTICC Press (August 2004)","DOI":"10.5220\/0001138102300237"},{"key":"23_CR28","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1145\/1370018.1370026","volume-title":"Proc. of the ICSE 2008 Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2008)","author":"M. Hirsch","year":"2008","unstructured":"Hirsch, M., Henkler, S., Giese, H.: Modeling Collaborations with Dynamic Structural Adaptation in Mechatronic UML. In: Proc. of the ICSE 2008 Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2008), Leipzig, Germany, pp. 33\u201340. ACM Press, New York (May 2008)"},{"key":"23_CR29","volume-title":"The vision of autonomic computing","author":"J. Kephart","year":"2003","unstructured":"Kephart, J., Chess, D.: The vision of autonomic computing. IEEE Computer society, Los Alamitos (2003)"},{"key":"23_CR30","doi-asserted-by":"crossref","unstructured":"Kramer, J., Magee, J.: Self-managed systems: an architectural challenge. In: Briand and Wolf [8], pp. 259\u2013268","DOI":"10.1109\/FOSE.2007.19"},{"key":"23_CR31","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":"23_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/978-3-540-45187-7_12","volume-title":"CONCUR 2003 - Concurrency Theory","author":"N. Lynch","year":"2003","unstructured":"Lynch, N.: Input\/output automata: Basic, timed, hybrid, probabilistic, dynamic,.. In: Amadio, R.M., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol.\u00a02761, pp. 191\u2013192. Springer, Heidelberg (2003)"},{"key":"23_CR33","unstructured":"Object Management Group. UML Profile for Schedulability, Performance, and Time Specification. OMG Document ptc\/02-03-02 (September 2002), http:\/\/cgi.omg.org\/docs\/ptc\/02-03-02.pdf"},{"key":"23_CR34","unstructured":"Object Management Group: Systems Modeling Language (SysML) Specification (January 2005)"},{"key":"23_CR35","unstructured":"Object Management Group: Systems Modeling Language (SysML) Specification (2006)"},{"key":"23_CR36","unstructured":"OMG: UML Profile for Modeling and Analysis of Real-time and Embedded Systems (MARTE) (2008)"},{"key":"23_CR37","unstructured":"OMG: Object Management Group. UML Profile for Schedulability, Performance, and Time Specification. OMG Document ptc\/02-03-02 (September 2002), http:\/\/cgi.omg.org\/docs\/ptc\/02-03-02.pdf"},{"key":"23_CR38","unstructured":"Osmic, S., M\u00fcnch, E., Tr\u00e4chtler, A., Henkler, S., Sch\u00e4fer, W., Giese, H., Hirsch, M.: Safe online-reconfiguration of self-optimzing mechatronic systems. In: Gausemeier, J., Rammig, F., Sch\u00e4fer, W. (eds.) Selbstoptimierende mechatronische Systeme: Die Zukunft gestalten. 7. Internationales Heinz Nixdorf Symposium f\u00fcr industrielle Informationstechnik, pp. 411\u2013426 (February 2008)"},{"key":"23_CR39","series-title":"LNCS","first-page":"1","volume-title":"Model-Based Engineering of Embedded Real-Time Systems (MBEERTS)","author":"C. Priesterjahn","year":"2009","unstructured":"Priesterjahn, C., Tichy, M., Henkler, S., Hirsch, M., Sch\u00e4fer, W.: Fujaba4eclipse Real-Time Tool Suite. In: Model-Based Engineering of Embedded Real-Time Systems (MBEERTS). LNCS, pp. 1\u20137. Springer, Heidelberg (2009) (to appear)"},{"key":"23_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1007\/978-3-540-25959-6_40","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"A. Rensink","year":"2004","unstructured":"Rensink, A.: The GROOVE simulator: A tool for state space generation. In: Pfaltz, J.L., Nagl, M., B\u00f6hlen, B. (eds.) AGTIVE 2003. LNCS, vol.\u00a03062, pp. 479\u2013485. Springer, Heidelberg (2004)"},{"issue":"1","key":"23_CR41","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/j.entcs.2006.01.022","volume":"157","author":"A. Rensink","year":"2006","unstructured":"Rensink, A., Distefano, D.: Abstract Graph Transformation. Electronic Notes in Theoretical Computer Science\u00a0157(1), 39\u201359 (2006)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"23_CR42","doi-asserted-by":"crossref","unstructured":"Sch\u00e4fer, W., Wehrheim, H.: The Challenges of Building Advanced Mechatronic Systems. In: Briand and Wolf [8], pp. 72\u201384","DOI":"10.1109\/FOSE.2007.28"},{"key":"23_CR43","doi-asserted-by":"crossref","unstructured":"Wilhelm, R., Reps, T.W., Sagiv, S.: Shape analysis and applications. In: The Compiler Design Handbook, pp. 175\u2013218 (2002)","DOI":"10.1201\/9781420040579.ch5"},{"key":"23_CR44","doi-asserted-by":"crossref","unstructured":"Zhang, J., Cheng, B.H.C.: Model-based Development of Dynamically Adaptive Software. In: ICSE 2006: Proceeding of the 28th International Conference on Software Engineering, New York, NY, USA, pp. 371\u2013380 (2006)","DOI":"10.1145\/1134285.1134337"}],"container-title":["Lecture Notes in Computer Science","Graph Transformations and Model-Driven Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-17322-6_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,27]],"date-time":"2025-02-27T17:18:24Z","timestamp":1740676704000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-17322-6_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642173219","9783642173226"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17322-6_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}