{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:10Z","timestamp":1772163910679,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2004,10,31]],"date-time":"2004-10-31T00:00:00Z","timestamp":1099180800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2004,10,31]]},"DOI":"10.1145\/1029894.1029920","type":"proceedings-article","created":{"date-parts":[[2005,1,30]],"date-time":"2005-01-30T12:55:16Z","timestamp":1107089716000},"page":"179-188","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":34,"title":["Modular design and verification of component-based mechatronic systems with online-reconfiguration"],"prefix":"10.1145","author":[{"given":"Holger","family":"Giese","sequence":"first","affiliation":[{"name":"University of Paderborn"}]},{"given":"Sven","family":"Burmester","sequence":"additional","affiliation":[{"name":"University of Paderborn"}]},{"given":"Wilhelm","family":"Sch\u00e4fer","sequence":"additional","affiliation":[{"name":"University of Paderborn"}]},{"given":"Oliver","family":"Oberschelp","sequence":"additional","affiliation":[{"name":"University of Paderborn"}]}],"member":"320","published-online":{"date-parts":[[2004,10,31]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.02.055"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"e_1_3_2_1_3_1","volume-title":"Hierarchical Hybrid Modeling of Embedded Systems. In First Workshop on Embedded Software","author":"Alur R.","year":"2001","unstructured":"R. Alur , T. Dang , J. Esposito , R. Fierro , Y. Hur , F. Ivancic , V. Kumar , I. Lee , P. Mishra , G. Pappas , and O. Sokolsky . Hierarchical Hybrid Modeling of Embedded Systems. In First Workshop on Embedded Software , 2001 .]] R. Alur, T. Dang, J. Esposito, R. Fierro, Y. Hur, F. Ivancic, V. Kumar, I. Lee, P. Mishra, G. Pappas, and O. Sokolsky. Hierarchical Hybrid Modeling of Embedded Systems. In First Workshop on Embedded Software, 2001.]]"},{"key":"e_1_3_2_1_4_1","series-title":"Lecture Notes on Control and Information Sciences","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/3-540-45426-8_3","volume-title":"Modelling, Analysis, and Design of Hybrid Systems","author":"Bender K.","year":"2002","unstructured":"K. Bender , M. Broy , I. Peter , A. Pretschner , and T. Stauner . Model based development of hybrid systems . In Modelling, Analysis, and Design of Hybrid Systems , volume 279 of Lecture Notes on Control and Information Sciences , pages 37 -- 52 . Springer Verlag , July 2002 .]] K. Bender, M. Broy, I. Peter, A. Pretschner, and T. Stauner. Model based development of hybrid systems. In Modelling, Analysis, and Design of Hybrid Systems, volume 279 of Lecture Notes on Control and Information Sciences, pages 37--52. Springer Verlag, July 2002.]]"},{"key":"e_1_3_2_1_5_1","volume-title":"Stanley Thornes","author":"Bradley D.","year":"2000","unstructured":"D. Bradley , D. Seward , D. Dawson , and S. Burge . Mechatronics . Stanley Thornes , 2000 .]] D. Bradley, D. Seward, D. Dawson, and S. Burge. Mechatronics. Stanley Thornes, 2000.]]"},{"key":"e_1_3_2_1_7_1","volume-title":"Proc. of the Eighth International Conference on Informatics in Control, Automation and Robotics ICINCO","author":"Burmester S.","year":"2004","unstructured":"S. Burmester , H. Giese , and O. Oberschelp . Hybrid UML Components for the Design of Complex Self-optimizing Mechatronic Systems . In Proc. of the Eighth International Conference on Informatics in Control, Automation and Robotics ICINCO , Setubal, Portugal. IEEE Press , 2004 .]] S. Burmester, H. Giese, and O. Oberschelp. Hybrid UML Components for the Design of Complex Self-optimizing Mechatronic Systems. In Proc. of the Eighth International Conference on Informatics in Control, Automation and Robotics ICINCO, Setubal, Portugal. IEEE Press, 2004.]]"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/940071.940078"},{"key":"e_1_3_2_1_10_1","volume-title":"Proc. of Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT'98), LNCS 1486","author":"Grosu R.","year":"1998","unstructured":"R. Grosu , T. Stauner , and M. Broy . A modular visual model for hybrid systems . In Proc. of Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT'98), LNCS 1486 . Springer-Verlag , 1998 .]] R. Grosu, T. Stauner, and M. Broy. A modular visual model for hybrid systems. In Proc. of Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT'98), LNCS 1486. Springer-Verlag, 1998.]]"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"e_1_3_2_1_12_1","first-page":"549","volume-title":"Masaccio: A Formal Model for Embedded Components. In Proceedings of the First IFIP International Conference on Theoretical Computer Science (TCS), LNCS 1872","author":"Henzinger T. A.","year":"2000","unstructured":"T. A. Henzinger . Masaccio: A Formal Model for Embedded Components. In Proceedings of the First IFIP International Conference on Theoretical Computer Science (TCS), LNCS 1872 , Springer-Verlag , 2000 , pp. 549 - 563 ., 2000.]] T. A. Henzinger. Masaccio: A Formal Model for Embedded Components. In Proceedings of the First IFIP International Conference on Theoretical Computer Science (TCS), LNCS 1872, Springer-Verlag, 2000, pp. 549-563., 2000.]]"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/827267.828918"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/225058.225162"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/646881.710633"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1474-6670(17)34029-6"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/646842.706477"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/646874.709976"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/355045.355062"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/646881.710751"},{"key":"e_1_3_2_1_21_1","volume-title":"18th European Simulation Multiconference (ESM)","author":"M\u00fcnch E.","year":"2004","unstructured":"E. M\u00fcnch , O. Oberschelp , T. Hestermeyer , P. Scheideler , and A. Schmidt . Distributed Optimization of Reference Trajectories for Active Suspension with Multi-Agent Systems . In 18th European Simulation Multiconference (ESM) , Magdeburg, Germany , 2004 .]] E. M\u00fcnch, O. Oberschelp, T. Hestermeyer, P. Scheideler, and A. Schmidt. Distributed Optimization of Reference Trajectories for Active Suspension with Multi-Agent Systems. In 18th European Simulation Multiconference (ESM), Magdeburg, Germany, 2004.]]"},{"key":"e_1_3_2_1_22_1","volume-title":"March","author":"Object Management Group","year":"2003","unstructured":"Object Management Group . UML for System Engineering Request for Proposal, 03-03-41 , March 2003 .]] Object Management Group. UML for System Engineering Request for Proposal, 03-03-41, March 2003.]]"},{"key":"e_1_3_2_1_23_1","volume-title":"April","author":"Object Management Group","year":"2003","unstructured":"Object Management Group . UML Superstructure Submission V2.0. OMG Document ad\/03-04-01 , April 2003 . URL : http:\/\/www.omg.org\/cgi-bin\/doc?ad\/2003-04-01.]] Object Management Group. UML Superstructure Submission V2.0. OMG Document ad\/03-04-01, April 2003. URL: http:\/\/www.omg.org\/cgi-bin\/doc?ad\/2003-04-01.]]"},{"key":"e_1_3_2_1_24_1","volume-title":"Prentice Hall","author":"Ogata K.","year":"2002","unstructured":"K. Ogata . Modern Control Engineering . Prentice Hall , 2002 .]] K. Ogata. Modern Control Engineering. Prentice Hall, 2002.]]"},{"key":"e_1_3_2_1_25_1","volume-title":"Vehicle Convoy Control Design. In Proc. of the IEEE International Symposium on Computer Aided Control System Design","author":"Richert J.","year":"1996","unstructured":"J. Richert . Integration of Mechatronic Design Tools with CAMeL, Exemplified by Vehicle Convoy Control Design. In Proc. of the IEEE International Symposium on Computer Aided Control System Design , Dearborn, Michigan, USA , 1996 .]] J. Richert. Integration of Mechatronic Design Tools with CAMeL, Exemplified by Vehicle Convoy Control Design. In Proc. of the IEEE International Symposium on Computer Aided Control System Design, Dearborn, Michigan, USA, 1996.]]"},{"key":"e_1_3_2_1_27_1","first-page":"242","volume-title":"Proc. UML'2001 workshop on Practical UML-Based Rigorous Development Methods -- Countering or Integrating the eXtremists","author":"Stauner T.","year":"2001","unstructured":"T. Stauner , A. Pretschner , and I. P\u00e9ter . Approaching a Discrete-Continuous UML: Tool Support and Formalization . In Proc. UML'2001 workshop on Practical UML-Based Rigorous Development Methods -- Countering or Integrating the eXtremists , pages 242 -- 257 , Toronto, Canada , October 2001 .]] T. Stauner, A. Pretschner, and I. P\u00e9ter. Approaching a Discrete-Continuous UML: Tool Support and Formalization. In Proc. UML'2001 workshop on Practical UML-Based Rigorous Development Methods -- Countering or Integrating the eXtremists, pages 242--257, Toronto, Canada, October 2001.]]"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/256562.256828"}],"event":{"name":"SIGSOFT04\/FSE-12: SIGSOFT 2004 -12th International Symposium on the Foundations of Software Engineering","location":"Newport Beach CA USA","acronym":"SIGSOFT04\/FSE-12","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1029894.1029920","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1029894.1029920","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:31:03Z","timestamp":1750249863000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1029894.1029920"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,10,31]]},"references-count":25,"alternative-id":["10.1145\/1029894.1029920","10.1145\/1029894"],"URL":"https:\/\/doi.org\/10.1145\/1029894.1029920","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1041685.1029920","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2004,10,31]]},"assertion":[{"value":"2004-10-31","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}