{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:33:09Z","timestamp":1725517989410},"publisher-location":"Berlin, Heidelberg","reference-count":48,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540855705"},{"type":"electronic","value":"9783540855712"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-85571-2_11","type":"book-chapter","created":{"date-parts":[[2008,8,25]],"date-time":"2008-08-25T07:58:47Z","timestamp":1219651127000},"page":"248-272","source":"Crossref","is-referenced-by-count":4,"title":["Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML"],"prefix":"10.1007","author":[{"given":"Holger","family":"Giese","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Henkler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Hirsch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"11_CR1","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0890-5401(87)90052-6","volume":"75","author":"D. Angluin","year":"1987","unstructured":"Angluin, D.: Learning regular sets from queries and counterexamples. Inf. Comput.\u00a075(2), 87\u2013106 (1987)","journal-title":"Inf. Comput."},{"key":"11_CR2","unstructured":"Barringer, H., Pasareanu, C.S., Giannakopolou, D.: Proof rules for automated compositional verification through learning. In: International Workshop on Specification and Verification of Component Based Systems, Finland, pp. 14\u201321 (September 2003)"},{"key":"11_CR3","unstructured":"Berg, T.: Regular Inference for Reactive Systems. Licentiate thesis, it (April 2006)"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-540-31984-9_14","volume-title":"Fundamental Approaches to Software Engineering","author":"T. Berg","year":"2005","unstructured":"Berg, T., Grinchtein, O., Jonsson, B., Leucker, M., Raffelt, H., Steffen, B.: On the correspondence between conformance testing and regular inference. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol.\u00a03442, pp. 175\u2013189. Springer, Heidelberg (2005)"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Berg, T., Jonsson, B., Leucker, M., Saksena, M.: Insights to Angluin\u2019s learning. In: Proceedings of the International Workshop on Software Verification and Validation (SVV 2003). Electronic Notes in Theoretical Computer Science, vol.\u00a0118, pp. 3\u201318 (December 2003)","DOI":"10.1016\/j.entcs.2004.12.015"},{"key":"11_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/11693017_10","volume-title":"Fundamental Approaches to Software Engineering","author":"T. Berg","year":"2006","unstructured":"Berg, T., Jonsson, B., Raffelt, H.: Regular inference for state machines with parameters. In: Baresi, L., Heckel, R. (eds.) FASE 2006. LNCS, vol.\u00a03922, pp. 107\u2013121. Springer, Heidelberg (2006)"},{"key":"11_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/3-540-44555-2_5","volume-title":"Object-Oriented Technology: ECOOP 2000 Workshop Reader","author":"J. Bosch","year":"2000","unstructured":"Bosch, J., Szyperski, C.A., Weck, W.: Component-oriented programming. In: Malenfant, J., Moisan, S., Moreira, A.M.D. (eds.) ECOOP 2000 Workshops. LNCS, vol.\u00a01964, pp. 55\u201364. Springer, Heidelberg (2000)"},{"key":"11_CR8","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":"11_CR9","volume-title":"Informatics in Control, Automation and Robotics","author":"S. Burmester","year":"2006","unstructured":"Burmester, S., Giese, H., Oberschelp, O.: Hybrid UML Components for the Design of Complex Self-optimizing Mechatronic Systems. In: Informatics in Control, Automation and Robotics. Springer, Heidelberg (2006)"},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11581741_1","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. 1\u201315. Springer, Heidelberg (2005)"},{"issue":"3","key":"11_CR11","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"4","author":"T.S. Chow","year":"1978","unstructured":"Chow, T.S.: Testing software design modeled by finite-state machines. IEEE Trans. Softw. Eng.\u00a04(3), 178\u2013187 (1978)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"5","key":"11_CR12","doi-asserted-by":"publisher","first-page":"752","DOI":"10.1145\/876638.876643","volume":"50","author":"E. Clarke","year":"2003","unstructured":"Clarke, E., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Counterexample-guided abstraction refinement for symbolic model checking. J. ACM\u00a050(5), 752\u2013794 (2003)","journal-title":"J. ACM"},{"key":"11_CR13","volume-title":"Model Checking","author":"E.M. Clarke","year":"2000","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (2000)"},{"key":"11_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/3-540-36577-X_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"J.M. Cobleigh","year":"2003","unstructured":"Cobleigh, J.M., Giannakopoulou, D., Psreanu, C.S.: Learning assumptions for compositional verification. In: Garavel, H., Hatcliff, J. (eds.) TACAS 2003. LNCS, vol.\u00a02619, pp. 331\u2013346. Springer, Heidelberg (2003)"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Corbett, J.C., Dwyer, M.B., Hatcliff, J., Laubach, S., P\u0103s\u0103reanu, C.S., Robby, Zheng, H.: Bandera: extracting finite-state models from java source code. In: International Conference on Software Engineering, pp. 439\u2013448 (2000)","DOI":"10.1145\/337180.337234"},{"issue":"10","key":"11_CR16","doi-asserted-by":"publisher","first-page":"863","DOI":"10.1002\/spe.4380221005","volume":"22","author":"P.S. Dodd","year":"1992","unstructured":"Dodd, P.S., Ravishankar, C.V.: Monitoring and debugging distributed real-time programs. Softw. Pract. Exper.\u00a022(10), 863\u2013877 (1992)","journal-title":"Softw. Pract. Exper."},{"key":"11_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"380","DOI":"10.1007\/11880240_27","volume-title":"Model Driven Engineering Languages and Systems","author":"L.M. Duarte","year":"2006","unstructured":"Duarte, L.M., Kramer, J., Uchitel, S.: Model extraction using context information. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 380\u2013394. Springer, Heidelberg (2006)"},{"key":"11_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"420","DOI":"10.1007\/11888116_30","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2006","author":"E. Elkind","year":"2006","unstructured":"Elkind, E., Genest, B., Peled, D., H.Q.: Grey-box checking. In: Najm, E., Pradat-Peyre, J.-F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol.\u00a04229, pp. 420\u2013435. Springer, Heidelberg (2006)"},{"issue":"6","key":"11_CR19","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1109\/52.542297","volume":"13","author":"C. Fidge","year":"1996","unstructured":"Fidge, C.: Fundamentals of distributed system observation. IEEE Softw.\u00a013(6), 77\u201383 (1996)","journal-title":"IEEE Softw."},{"key":"11_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1007\/11537328_24","volume-title":"Model Checking Software","author":"D. Giannakopoulou","year":"2005","unstructured":"Giannakopoulou, D., Pasareanu, C.S.: Learning-based assume-guarantee verification (tool paper). In: Godefroid, P. (ed.) SPIN 2005. LNCS, vol.\u00a03639, pp. 282\u2013287. Springer, Heidelberg (2005)"},{"key":"11_CR21","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: FSE 2004, pp. 179\u2013188. ACM Press, New York (2004)"},{"key":"11_CR22","first-page":"28","volume-title":"Proceedings of the 2nd International Workshop on The Role of Software Architecture for Testing and Analysis (ROSATEA 2006)","author":"H. Giese","year":"2006","unstructured":"Giese, H., Henkler, S.: Architecture-driven platform independent deterministic replay for distributed hard real-time systems. In: Proceedings of the 2nd International Workshop on The Role of Software Architecture for Testing and Analysis (ROSATEA 2006), pp. 28\u201338. ACM Press, New York (2006)"},{"key":"11_CR23","unstructured":"Giese, H., Henkler, S., Hirsch, M., Priesterjahn, C.: Model-based testing of mechatronic systems. In: Geiger, L., Giese, H., Z\u00fcndorf, A. (eds.) Proc. of the fifth International Fujaba Days 2007, Kassel, Germany. Technical Report, vol.\u00a0tr-ri-07-285, pp. 51\u201355. University of Kassel (September 2007)"},{"key":"11_CR24","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 (2003)"},{"key":"11_CR25","first-page":"498","volume-title":"ICSE 03: Proceedings of the 25th International Conference on Software Engineering","author":"K. Grimm","year":"2003","unstructured":"Grimm, K.: Software technology in an automotive company: major challenges. In: ICSE 03: Proceedings of the 25th International Conference on Software Engineering, Washington, DC, USA, pp. 498\u2013503. IEEE Computer Society, Los Alamitos (2003)"},{"key":"11_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1007\/11817949_29","volume-title":"CONCUR 2006 \u2013 Concurrency Theory","author":"O. Grinchtein","year":"2006","unstructured":"Grinchtein, O., Jonsson, B., Pettersson, P.: Inference of event-recording automata using timed decision trees. In: Baier, C., Hermanns, H. (eds.) CONCUR 2006. LNCS, vol.\u00a04137, pp. 435\u2013449. Springer, Heidelberg (2006)"},{"key":"11_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/3-540-46002-0_25","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A. Groce","year":"2002","unstructured":"Groce, A., Peled, D., Yannakakis, M.: Adaptive model checking. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol.\u00a02280, pp. 269\u2013301. Springer, Heidelberg (2002)"},{"key":"11_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1007\/3-540-45657-0_44","volume-title":"Computer Aided Verification","author":"A. Groce","year":"2002","unstructured":"Groce, A., Peled, D., Yannakakis, M.: Amc: An adaptive model checker. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, pp. 521\u2013525. Springer, Heidelberg (2002)"},{"key":"11_CR29","unstructured":"Henkler, S., Hirsch, M.: Compositional Validation of Distributed Real Time Systems. In: Preliminary Proc. of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany (October 2007)"},{"key":"11_CR30","series-title":"Series in Computer Science","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Series in Computer Science. Prentice-Hall International, Englewood Cliffs (1985)"},{"key":"11_CR31","first-page":"597","volume-title":"ICSE 1999: Proceedings of the 21st international conference on Software engineering","author":"G.J. Holzmann","year":"1999","unstructured":"Holzmann, G.J., Smith, M.H.: A practical method for verifying event-driven software. In: ICSE 1999: Proceedings of the 21st international conference on Software engineering, pp. 597\u2013607. IEEE Computer Society Press, Los Alamitos (1999)"},{"key":"11_CR32","doi-asserted-by":"crossref","unstructured":"Hungar, H., Niese, O., Steffen, B.: Domain-specific optimization in automata learning. In: Proc. 15 Int. Conf. on Computer Aided Verification (2003)","DOI":"10.1007\/978-3-540-45069-6_31"},{"key":"11_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/978-3-540-45069-6_31","volume-title":"Computer Aided Verification","author":"H. Hungar","year":"2003","unstructured":"Hungar, H., Niese, O., Steffen, B.: Domain-specific optimization in automata learning. In: Hunt Jr., W.A., Somenzi, F. (eds.) CAV 2003. LNCS, vol.\u00a02725, pp. 315\u2013327. Springer, Heidelberg (2003)"},{"key":"11_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-3-540-24732-6_8","volume-title":"Model Checking Software","author":"M. Krichen","year":"2004","unstructured":"Krichen, M., Tripakis, S.: Black-box conformance testing for real-time systems. In: Graf, S., Mounier, L. (eds.) SPIN 2004. LNCS, vol.\u00a02989, pp. 109\u2013126. Springer, Heidelberg (2004)"},{"key":"11_CR35","volume-title":"Computer-aided verification of coordinating processes: the automata-theoretic approach","author":"R.P. Kurshan","year":"1994","unstructured":"Kurshan, R.P.: Computer-aided verification of coordinating processes: the automata-theoretic approach. Princeton University Press, Princeton (1994)"},{"key":"11_CR36","first-page":"59","volume-title":"TAIC-PART 2006: Proceedings of the Testing: Academic & Industrial Conference on Practice And Research Techniques","author":"K. Li","year":"2006","unstructured":"Li, K., Groz, R., Shahbaz, M.: Integration testing of components guided by incremental state machine learning. In: TAIC-PART 2006: Proceedings of the Testing: Academic & Industrial Conference on Practice And Research Techniques, Washington, DC, USA, pp. 59\u201370. IEEE Computer Society, Los Alamitos (2006)"},{"key":"11_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1007\/11888116_31","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2006","author":"K. Li","year":"2006","unstructured":"Li, K., Groz, R., Shahbaz, M.: Integration testing of distributed components based on learning parameterized i\/o models. In: Najm, E., Pradat-Peyre, J.-F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol.\u00a04229, pp. 436\u2013450. Springer, Heidelberg (2006)"},{"key":"11_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1007\/3-540-48683-6_28","volume-title":"Computer Aided Verification","author":"J. Lind-Nielsen","year":"1999","unstructured":"Lind-Nielsen, J., Andersen, H.R.: Stepwise ctl model checking of state\/event systems. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol.\u00a01633, pp. 316\u2013327. Springer, Heidelberg (1999)"},{"key":"11_CR39","series-title":"Lecture Notes in Computer Science","volume-title":"ACM\/IEEE 9th International Conference on Model Driven Engineering Languages and Systems","author":"D. Lucio","year":"2006","unstructured":"Lucio, D., Kramer, J., Uchitel, S.: Model extraction based on context information. In: ACM\/IEEE 9th International Conference on Model Driven Engineering Languages and Systems. LNCS. Springer, Heidelberg (2006)"},{"key":"11_CR40","first-page":"95","volume-title":"HLDVT 2004: Proceedings of the High-Level Design Validation and Test Workshop, 2004. Ninth IEEE International","author":"T. Margaria","year":"2004","unstructured":"Margaria, T., Niese, O., Raffelt, H., Steffen, B.: Efficient test-based model generation for legacy reactive systems. In: HLDVT 2004: Proceedings of the High-Level Design Validation and Test Workshop, 2004. Ninth IEEE International, Washington, DC, USA, pp. 95\u2013100. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"11_CR41","first-page":"340","volume-title":"2th International Conference on Engineering of Complex Computer Systems (ICECCS 2007)","author":"T. Margaria","year":"2007","unstructured":"Margaria, T., Raffelt, H., Steffen, B., Leucker, M.: The learnlib in fmics-jeti. In: 2th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), pp. 340\u2013352. IEEE Computer Society, Los Alamitos (2007)"},{"issue":"4","key":"11_CR42","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1145\/76894.76897","volume":"21","author":"C.E. McDowell","year":"1989","unstructured":"McDowell, C.E., Helmbold, D.P.: Debugging concurrent programs. ACM Comput. Surv.\u00a021(4), 593\u2013622 (1989)","journal-title":"ACM Comput. Surv."},{"key":"11_CR43","first-page":"225","volume-title":"FORTE XII \/ PSTV XIX \u201999: Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX)","author":"D. Peled","year":"1999","unstructured":"Peled, D., Vardi, M.Y., Yannakakis, M.: Black box checking. In: FORTE XII \/ PSTV XIX \u201999: Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX), Deventer, The Netherlands, The Netherlands, pp. 225\u2013240. Kluwer, Dordrecht (1999)"},{"issue":"1","key":"11_CR44","first-page":"89","volume":"7","author":"J. Ruf","year":"2001","unstructured":"Ruf, J.: RAVEN: Real-Time Analyzing and Verification Environment. Journal on Universal Computer Science (J.UCS)\u00a07(1), 89\u2013104 (2001)","journal-title":"Journal on Universal Computer Science (J.UCS)"},{"key":"11_CR45","first-page":"755","volume-title":"COMPSAC 2007: Proceedings of the 31st Annual International Computer Software and Applications Conference","author":"M. Shahbaz","year":"2007","unstructured":"Shahbaz, M., Li, K., Groz, R.: Learning parameterized state machine model for integration testing. In: COMPSAC 2007: Proceedings of the 31st Annual International Computer Software and Applications Conference, Washington, DC, USA, vol.\u00a02- (COMPSAC 2007), pp. 755\u2013760. IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"11_CR46","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/3-540-36384-X_3","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"B. Steffen","year":"2002","unstructured":"Steffen, B., Hungar, H.: Behavior-based model construction. In: Zuck, L.D., Attie, P.C., Cortesi, A., Mukhopadhyay, S. (eds.) VMCAI 2003. LNCS, vol.\u00a02575, pp. 5\u201319. Springer, Heidelberg (2002)"},{"issue":"4","key":"11_CR47","first-page":"653","volume":"9","author":"M.P. Vasilevskii","year":"1973","unstructured":"Vasilevskii, M.P.: Failure diagnosis of automata. Cybernetics and Systems Analysis\u00a09(4), 653\u2013665 (1973)","journal-title":"Cybernetics and Systems Analysis"},{"issue":"1","key":"11_CR48","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1109\/MS.2003.1159025","volume":"20","author":"M. Weber","year":"2003","unstructured":"Weber, M., Weisbrod, J.: Requirements engineering in automotive development: Experiences and challenges. IEEE Software\u00a020(1), 16\u201324 (2003)","journal-title":"IEEE Software"}],"container-title":["Lecture Notes in Computer Science","Architecting Dependable Systems V"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85571-2_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,7]],"date-time":"2020-05-07T22:37:17Z","timestamp":1588891037000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85571-2_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540855705","9783540855712"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85571-2_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}