{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,28]],"date-time":"2025-02-28T05:32:53Z","timestamp":1740720773286,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":59,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642173219"},{"type":"electronic","value":"9783642173226"}],"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_11","type":"book-chapter","created":{"date-parts":[[2010,11,8]],"date-time":"2010-11-08T05:03:27Z","timestamp":1289192607000},"page":"224-248","source":"Crossref","is-referenced-by-count":14,"title":["Workflow-Driven Tool Integration Using Model Transformations"],"prefix":"10.1007","author":[{"given":"Andr\u00e1s","family":"Balogh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G\u00e1bor","family":"Bergmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gy\u00f6rgy","family":"Csert\u00e1n","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L\u00e1szl\u00f3","family":"G\u00f6nczy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u00c1kos","family":"Horv\u00e1th","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Istv\u00e1n","family":"Majzik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andr\u00e1s","family":"Pataricza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bal\u00e1zs","family":"Polg\u00e1r","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Istv\u00e1n","family":"R\u00e1th","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D\u00e1niel","family":"Varr\u00f3","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gergely","family":"Varr\u00f3","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"RTCA - Radio Technical Commission for Aeronautic: Software Considerations in Airborne Systems and Equipment Certification, DO-178B (1992), https:\/\/www.arinc.com\/cf\/store\/catalog_detail.cfm?item_id=633"},{"key":"11_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-540-89247-2_2","volume-title":"Runtime Verification","author":"J. Rushby","year":"2008","unstructured":"Rushby, J.: Runtime Certification. In: Leucker, M. (ed.) RV 2008. LNCS, vol.\u00a05289, pp. 21\u201335. Springer, Heidelberg (2008)"},{"key":"11_CR3","unstructured":"Kornecki, A.J., Zalewski, J.: The Qualification of Software Development Tools from the DO-178B Perspective. Journal of Defense Software Engineering (April 2006), http:\/\/www.stsc.hill.af.mil\/crosstalk\/2006\/04\/0604KorneckiZalewski.html"},{"key":"11_CR4","unstructured":"Miller, S.P.: Certification Issues in Model Based Development Rockwell Collins"},{"key":"11_CR5","unstructured":"The DECOS Project: DECOS - Dependable Embedded Components and Systems, http:\/\/www.decos.at\/"},{"key":"11_CR6","unstructured":"The DIANA Project Consortium: DIANA (Distributed, equipment Independent environment for Advanced avioNic Application) EU FP6 Research Project, http:\/\/dianaproject.com"},{"key":"11_CR7","unstructured":"The SENSORIA Project: The SENSORIA website, http:\/\/www.sensoria-ist.eu"},{"key":"11_CR8","unstructured":"The MOGENTES Project : MOGENTES (Model-based Generation of Tests for Dependable Embedded Systems) EU FP7 Research Project, http:\/\/mogentes.eu"},{"key":"11_CR9","unstructured":"The GENESYS Project: GENESYS - GENeric Embedded SYStem, http:\/\/www.genesys-platform.eu\/"},{"key":"11_CR10","unstructured":"The INDEXYS Project: INDEXYS - INDustrial EXploitation of the genesYS cross-domain architecture, http:\/\/www.indexys.eu\/"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"R\u00e1th, I., V\u00e1g\u00f3, D., Varr\u00f3, D.: Design-time Simulation of Domain-specific Models By Incremental Pattern Matching. In: 2008 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC) (2008)","DOI":"10.1109\/VLHCC.2008.4639089"},{"key":"11_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/11556169_7","volume-title":"Architecting Dependable Systems III","author":"G. Pint\u00e9r","year":"2005","unstructured":"Pint\u00e9r, G., Majzik, I.: Runtime Verification of Statechart Implementations. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds.) Architecting Dependable Systems III. LNCS, vol.\u00a03549, pp. 148\u2013172. Springer, Heidelberg (2005)"},{"key":"11_CR13","unstructured":"Sisak, \u00c1., Pint\u00e9r, G., Majzik, I.: Automated Verification of Complex Behavioral Models Using the SAL Model Checker. In: Tarnai, G., Schnieder, E. (eds.) Formal Methods for Automation and Safety in Railway and Automotive Systems (Proceedings of the FORMS-2008 Conference), Budapest, Hungary, LH\u0301armattan (2008)"},{"key":"11_CR14","unstructured":"Partaricza, A.: Systematic generation of dependability cases from functional models. In: Proceedings of Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMAT 2008), Budapest, Hungary (2007)"},{"key":"11_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/3-540-45177-3_10","volume-title":"Architecting Dependable Systems","author":"I. Majzik","year":"2003","unstructured":"Majzik, I., Pataricza, A., Bondavalli, A.: Stochastic dependability analysis of system architecture based on uml models. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds.) Architecting Dependable Systems. LNCS, vol.\u00a02677, pp. 219\u2013244. Springer, Heidelberg (2003)"},{"key":"11_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1007\/11875567_28","volume-title":"Computer Safety, Reliability, and Security","author":"E. Schoitsch","year":"2006","unstructured":"Schoitsch, E., Althammer, E., Eriksson, H., Vinter, J., G\u00f6nczy, L., Pataricza, A., Csert\u00e1n, G.: Validation and Certification of Safety-Critical Embedded Systems - the DECOS Test Bench. In: G\u00f3rski, J. (ed.) SAFECOMP 2006. LNCS, vol.\u00a04166, pp. 372\u2013385. Springer, Heidelberg (2006)"},{"key":"11_CR17","unstructured":"Balogh, A., Pataricza, A., R\u00e1th, I.: Automated verification and validation of domain specific languages and their applications. In: Proceedings of the 4th World Congress for Software Quality, Bethesda, USA, pp. 1\u20136 (2009)"},{"key":"11_CR18","unstructured":"Pint\u00e9r, G., Majzik, I.: Model Based Automatic Code Generation for Embedded Systems. In: Proceedings of the Regional Conference on Embedded and Ambient Systems (RCEAS 2007), Budapest, Hungary, pp. 97\u2013106 (2007)"},{"key":"11_CR19","unstructured":"G\u00f6nczy, L., \u00c1v\u00e9d, J., Varr\u00f3, D.: Model-based Deployment of Web Services to Standards-compliant Middleware. In: Isaias, P., Miguel Baptista Nunes, I.J.M. (eds.) Proc. of the Iadis International Conference on WWW\/Internet 2006 (ICWI 2006), Iadis Press (2006)"},{"key":"11_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/978-3-540-72736-1_10","volume-title":"Service Availability","author":"A. K\u00f6vi","year":"2007","unstructured":"K\u00f6vi, A., Varr\u00f3, D.: An eclipse-based framework for ais service configurations. In: Malek, M., Reitenspie\u00df, M., van Moorsel, A. (eds.) ISAS 2007. LNCS, vol.\u00a04526, pp. 110\u2013126. Springer, Heidelberg (2007)"},{"key":"11_CR21","doi-asserted-by":"crossref","unstructured":"Pint\u00e9r, G., Majzik, I.: Automatic Generation of Executable Assertions for Runtime Checking Temporal Requirements. In: Dal Cin, M., Bondavalli, A., Suri, N. (eds.) Proceedings of the 9th IEEE International Symposium on High Assurance Systems Engineering (HASE 2005), Heidelberg, Germany, October 12-14, pp. 111\u2013120 (2005)","DOI":"10.1109\/HASE.2005.6"},{"issue":"2","key":"11_CR22","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/s10270-004-0073-y","volume":"4","author":"G. Karsai","year":"2004","unstructured":"Karsai, G., Lang, A., Neema, S.: Design Patterns for Open Tool Integration. Software and Systems Modeling\u00a04(2), 157\u2013170 (2004)","journal-title":"Software and Systems Modeling"},{"issue":"10","key":"11_CR23","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Applying \u201ddesign by contract\u201d. IEEE Computer\u00a025(10), 40\u201351 (1992)","journal-title":"IEEE Computer"},{"key":"11_CR24","first-page":"95","volume-title":"JTRES 2006: Proceedings of the 4th International Workshop on Java Technologies for Real-Time and Embedded Systems","author":"C.D. Locke","year":"2006","unstructured":"Locke, C.D.: Safety critical javaTMtechnology. In: JTRES 2006: Proceedings of the 4th International Workshop on Java Technologies for Real-Time and Embedded Systems, pp. 95\u201396. ACM, New York (2006)"},{"key":"11_CR25","unstructured":"ARINC - Aeronautical Radio, Incorporated: A653 - Avionics Application Software Standard Interface, https:\/\/www.arinc.com\/cf\/store\/catalog_detail.cfm?item_id=633"},{"key":"11_CR26","unstructured":"DECOS - Dependabe Embedded Components and Systems consortium : The DECOS Platform Independent Metamodel, public deliverable, http:\/\/www.inf.mit.bme.hu\/decoscd\/deliverables\/DECOS_deliv_PIM_Metamodel.pdf"},{"key":"11_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/11663430_3","volume-title":"Satellite Events at the MoDELS 2005 Conference","author":"T. Baar","year":"2006","unstructured":"Baar, T.: OCL and graph-transformations - A Symbiotic Alliance to Alleviate the Frame Problem. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol.\u00a03844, pp. 20\u201331. Springer, Heidelberg (2006)"},{"key":"11_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/978-3-540-87405-8_15","volume-title":"Graph Transformations","author":"K. Azab","year":"2008","unstructured":"Azab, K., Habel, A.: High-level programs and program conditions. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol.\u00a05214, pp. 211\u2013225. Springer, Heidelberg (2008)"},{"key":"11_CR29","doi-asserted-by":"crossref","unstructured":"Bergmann, G., \u00d6kr\u00f6s, A., R\u00e1th, I., Varr\u00f3, D., Varr\u00f3, G.: Incremental pattern matching in the VIATRA transformation system. In: GRaMoT 2008, 3rd International Workshop on Graph and Model Transformation, 30th International Conference on Software Engineering (2008)","DOI":"10.1145\/1402947.1402953"},{"key":"11_CR30","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1016\/j.entcs.2008.04.038","volume":"211","author":"J. Winkelmann","year":"2008","unstructured":"Winkelmann, J., Taentzer, G., Ehrig, K., K\u00fcster, J.M.: Translation of restricted OCL constraints into graph constraints for generating meta model instances by graph grammars. Electron. Notes Theor. Comput. Sci.\u00a0211, 159\u2013170 (2008)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"3","key":"11_CR31","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1016\/j.scico.2007.05.004","volume":"68","author":"D. Varr\u00f3","year":"2007","unstructured":"Varr\u00f3, D., Balogh, A.: The model transformation language of the VIATRA2 framework. Science of Computer Programming\u00a068(3), 214\u2013234 (2007)","journal-title":"Science of Computer Programming"},{"key":"11_CR32","doi-asserted-by":"crossref","unstructured":"Balogh, A., Varr\u00f3, D.: Advanced Model Transformation Language Constructs in the VIATRA2 Framework. In: ACM Symposium on Applied Computing \u2014 Model Transformation Track (SAC 2006) (2006) (in press)","DOI":"10.1145\/1141277.1141575"},{"key":"11_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/978-3-540-30203-2_23","volume-title":"Graph Transformations","author":"A. Rensink","year":"2004","unstructured":"Rensink, A.: Representing first-order logic using graphs. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol.\u00a03256, pp. 319\u2013335. Springer, Heidelberg (2004)"},{"key":"11_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/978-3-642-04425-0_9","volume-title":"Model Driven Engineering Languages and Systems","author":"\u00c1. Horv\u00e1th","year":"2009","unstructured":"Horv\u00e1th, \u00c1., Varr\u00f3, D.: CSP(M): Constraint Satisfaction Programming over Models. In: Sch\u00fcrr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol.\u00a05795, pp. 107\u2013121. Springer, Heidelberg (2009)"},{"key":"11_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-3-540-69927-9_13","volume-title":"Theory and Practice of Model Transformations","author":"Z. Hemel","year":"2008","unstructured":"Hemel, Z., Kats, L.C.L., Visser, E.: Code generation by model transformation. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol.\u00a05063, pp. 183\u2013198. Springer, Heidelberg (2008)"},{"issue":"4","key":"11_CR36","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/j.entcs.2004.08.051","volume":"127","author":"K. Ehrig","year":"2005","unstructured":"Ehrig, K., Ermel, C., H\u00e4nsgen, S., Taentzer, G.: Towards graph transformation based generation of visual editors using eclipse. Electr. Notes Theor. Comput. Sci.\u00a0127(4), 127\u2013143 (2005)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"11_CR37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract State Machines. A method for High-Level System Design and Analysis","author":"E. B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E., St\u00e4rk, R.: Abstract State Machines. A method for High-Level System Design and Analysis. Springer, Heidelberg (2003)"},{"key":"11_CR38","unstructured":"Koenig, J.: JBoss jBPM White Paper. Technical report, The JBoss Group \/ Riseforth.com (2004), http:\/\/jbossgroup.com\/pdf\/jbpm_whitepaper.pdf"},{"key":"11_CR39","unstructured":"IBM Rational: Jazz Community Site, http:\/\/jazz.net\/"},{"key":"11_CR40","unstructured":"The Object Management Group: Software Process Engineering Metamodel, version 2.0 (2008), http:\/\/www.omg.org\/technology\/documents\/formal\/spem.htm"},{"key":"11_CR41","unstructured":"The EPF Project: The Eclipse Process Framework website, http:\/\/www.eclipse.org\/epf\/"},{"key":"11_CR42","unstructured":"Haumer, P.: Increasing Development Knowledge with Eclipse Process Framework Composer. Eclipse Review (2006), http:\/\/haumer.net\/rational\/publications.html"},{"key":"11_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1007\/3-540-48257-1_17","volume-title":"The UniForM WorkBench: A Higher Order Tool Integration Framework","author":"E.W. Karlsen","year":"1999","unstructured":"Einar W. Karlsen: The UniForM WorkBench: A Higher Order Tool Integration Framework. Lecture Notes in Computer Science 1641 (1999) 266\u2013280"},{"key":"11_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-76778-7_1","volume-title":"Middleware 2007","author":"J.S. Rellermeyer","year":"2007","unstructured":"Rellermeyer, J.S., Alonso, G., Roscoe, T.: R-OSGi: Distributed Applications Through Software Modularization. In: Cerqueira, R., Campbell, R.H. (eds.) Middleware 2007. LNCS, vol.\u00a04834, pp. 1\u201320. Springer, Heidelberg (2007)"},{"key":"11_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"557","DOI":"10.1007\/978-3-540-31980-1_38","volume-title":"jETI: A Tool for Remote Tool Integration","author":"T. Margaria","year":"2005","unstructured":"Margaria, T., Nagel, R., Steffen, B.: jETI: A Tool for Remote Tool Integration. LNCS, vol.\u00a02440, pp. 557\u2013562. Springer, Heidelberg (2005)"},{"issue":"3","key":"11_CR46","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/s10009-004-0158-5","volume":"6","author":"F. Corradini","year":"2004","unstructured":"Corradini, F., Mariani, L., Merelli, E.: An Agent-based Approach for Tool Integration. International Journal on Software Tools for Technology Transfer\u00a06(3), 231\u2013244 (2004)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"11_CR47","doi-asserted-by":"crossref","unstructured":"G\u00f6nczy, L., D\u00e9ri, Z., Varr\u00f3, D.: Model Driven Performability Analysis of Service Configurations with Reliable Messaging. In: Proc. of Model Driven Web Engineering Workshop (MDWE 2008) (2008)","DOI":"10.1007\/978-3-642-01648-6_17"},{"key":"11_CR48","doi-asserted-by":"crossref","unstructured":"G\u00f6nczy, L., D\u00e9ri, Z., Varr\u00f3, D.a.: Model transformations for performability analysis of service configurations, pp. 153\u2013166 (2009)","DOI":"10.1007\/978-3-642-01648-6_17"},{"key":"11_CR49","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/978-3-642-04425-0_26","volume-title":"Model Driven Engineering Languages and Systems","author":"I. R\u00e1th","year":"2009","unstructured":"R\u00e1th, I., Varr\u00f3, G., Varr\u00f3, D.: Change-driven model transformations. In: Sch\u00fcrr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol.\u00a05795, pp. 342\u2013356. Springer, Heidelberg (2009) (accepted)"},{"key":"11_CR50","doi-asserted-by":"crossref","unstructured":"R\u00e1th, I., \u00d6kr\u00f6s, A., Varr\u00f3, D.: Synchronization of abstract and concrete syntax in domain-specific modeling languages. Journal of Software and Systems Modeling (2009) (accepted)","DOI":"10.1007\/s10270-009-0122-7"},{"key":"11_CR51","doi-asserted-by":"crossref","unstructured":"Klein, P., Nagl, M., Sch\u00fcrr, A.: IPSEN Tools. In: [59], pp. 215\u2013266. World Scientific, Singapore (1999)","DOI":"10.1142\/9789812815149_0005"},{"key":"11_CR52","unstructured":"Kapsammer, E., Kargl, H., Kramler, G., Reiter, T., Retschitzegger, W., Wimmer, M.: On Models and Ontologies \u2013 A Layered Approach for Model-based Tool Integration. In: Proceedings of the Modellierung 2006, pp. 11\u201327 (2006)"},{"key":"11_CR53","doi-asserted-by":"crossref","unstructured":"Klar, F., Rose, S., Sch\u00fcrr, A.: A Meta-model Driven Tool Integration Development Process. Lecture Notes in Business Information Processing, vol.\u00a05, pp. 201\u2013212 (2008)","DOI":"10.1007\/978-3-540-78942-0_21"},{"key":"11_CR54","first-page":"807","volume-title":"International Conference on Software Engineering","author":"C. Amelunxen","year":"2008","unstructured":"Amelunxen, C., Klar, F., K\u00f6nigs, A., R\u00f6tschke, T., Sch\u00fcrr, A.: Metamodel-based Tool Integration with MOFLON. In: International Conference on Software Engineering, pp. 807\u2013810. ACM, New York (2008)"},{"key":"11_CR55","unstructured":"The TOPCASED Project: TOPCASED - The Open-Source Toolkit for Critical Systems, http:\/\/www.topcased.org\/"},{"key":"11_CR56","unstructured":"Canalsm, A., Le Camus, C., Feau, M., et al.: An Operational Use of ATL: Integration of Model and Meta Model Transformations in the TOPCASED Project. In: Ouwehand, L. (ed.) Proc. of the DASIA 2006 - Data Systems in Aerospace Conference, European Space Agency, p. 40 (2006), http:\/\/adsabs.harvard.edu\/abs\/2006ESASP.630E.40C"},{"key":"11_CR57","unstructured":"The ModelWare Project: ModelWare - MODELling solution for softWARE systems, http:\/\/www.modelware-ist.org\/"},{"key":"11_CR58","unstructured":"The MODELPLEX Project: MODELPLEX - Modeling Solution for Complex Systems, http:\/\/www.modelplex-ist.org\/"},{"key":"11_CR59","series-title":"Applications, Languages and Tools","volume-title":"Handbook on Graph Grammars and Computing by Graph Transformation","year":"1999","unstructured":"Ehrig, H., Engels, G., Kreowski, H.J., Rozenberg, G. (eds.): Handbook on Graph Grammars and Computing by Graph Transformation. Applications, Languages and Tools, vol.\u00a02. World Scientific, Singapore (1999)"}],"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_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,27]],"date-time":"2025-02-27T17:19:36Z","timestamp":1740676776000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-17322-6_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642173219","9783642173226"],"references-count":59,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17322-6_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}