{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:56:19Z","timestamp":1762458979655,"version":"3.40.3"},"reference-count":60,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2012,7,18]],"date-time":"2012-07-18T00:00:00Z","timestamp":1342569600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2012,10]]},"DOI":"10.1007\/s10009-012-0250-1","type":"journal-article","created":{"date-parts":[[2012,7,17]],"date-time":"2012-07-17T13:53:43Z","timestamp":1342533223000},"page":"567-588","source":"Crossref","is-referenced-by-count":36,"title":["The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems"],"prefix":"10.1007","volume":"14","author":[{"given":"Peter Y. H.","family":"Wong","sequence":"first","affiliation":[]},{"given":"Elvira","family":"Albert","sequence":"additional","affiliation":[]},{"given":"Radu","family":"Muschevici","sequence":"additional","affiliation":[]},{"given":"Jos\u00e9","family":"Proen\u00e7a","sequence":"additional","affiliation":[]},{"given":"Jan","family":"Sch\u00e4fer","sequence":"additional","affiliation":[]},{"given":"Rudolf","family":"Schlatte","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,7,18]]},"reference":[{"key":"250_CR1","doi-asserted-by":"crossref","unstructured":"Albert, E., Arenas, P., Genaim, S., Puebla, G.n, Zanardini, D.: COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode. In: Proceedings of FMCO\u201907, vol. 5382 LNCS, pp. 113\u2013133. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-92188-2_5"},{"key":"250_CR2","doi-asserted-by":"crossref","unstructured":"Albert, E., Arenas, P., Genaim, S., G\u00f3mez-Zamalloa, M., Puebla, G.: Cost Analysis of Concurrent OO programs. In: The 9th Asian Symposium on Programming Languages and Systems (APLAS\u201911). Springer, Berlin, December (2011) (to appear)","DOI":"10.1007\/978-3-642-25318-8_19"},{"key":"250_CR3","doi-asserted-by":"crossref","unstructured":"Apel, S., Batory, D.: When to use features and Aspects? A case study. In: International Conference on Generative Programming and Component Engineering, GPCE \u201906, pp. 59\u201368. ACM Press (2006)","DOI":"10.1145\/1173706.1173716"},{"key":"250_CR4","doi-asserted-by":"crossref","unstructured":"Albert, E., Bubel, R., Genaim, S., H\u00e4hnle, R., Puebla, G., Rom\u00e1n-D\u00edez, G.: Verified resource guarantees using COSTA and KeY. In: ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation (PEPM\u201911). ACM Press (2011)","DOI":"10.1145\/1929501.1929513"},{"key":"250_CR5","doi-asserted-by":"crossref","unstructured":"Atkinson, C., Bayer, J., Muthig, D.: Component-based product line development: The KobrA approach. In: SPLC (2000)","DOI":"10.1007\/978-1-4615-4339-8_16"},{"key":"250_CR6","volume-title":"The B-Book\u2014Assigning programs to meanings","author":"J.-R. Abrial","year":"2005","unstructured":"Abrial J.-R.: The B-Book\u2014Assigning programs to meanings. Cambridge University Press, Cambridge (2005)"},{"key":"250_CR7","unstructured":"The ABS language specification. (2011) http:\/\/tools.hats-project.eu\/download\/absrefmanual.pdf"},{"key":"250_CR8","doi-asserted-by":"crossref","unstructured":"Albert, E., Correas, J., Puebla, G., Rom\u00e1n-D\u00edez, G.: Incremental resource usage Analysis. In: ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2012), pp. 25\u201334. ACM Press, January 2012","DOI":"10.1145\/2103746.2103754"},{"key":"250_CR9","doi-asserted-by":"crossref","unstructured":"Ahrendt, W., Dylla, M.: A verification system for distributed objects with asynchronous method calls. In: Breitman, K., Cavalcanti, A. (eds.) Formal methods and software engineering, international conference on formal engineering methods (ICFEM\u201909), vol. 5885, Lecture Notes in Computer Science, pp. 387\u2013406. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-10373-5_20"},{"key":"250_CR10","unstructured":"Ahrendt, W., Dylla, M.: A system for compositional verification of asynchronous objects. Sci. Comput. Program. (2011)"},{"key":"250_CR11","unstructured":"Albert, E., Flores-Montoya, A., Genaim, S.: Analysis of May-Happen-in-parallel in Concurrent objects. In: 14th IFIP WG 6.1 International Conference FMOODS 2012 and 32nd IFIP WG 6.1 International Conference FORTE 2012, Stockholm, Sweden, pp. 13\u201316 June, 2012, Proceedings, IFIP-LNCS. Springer, June 2012"},{"key":"250_CR12","doi-asserted-by":"crossref","unstructured":"Albert, E., Genaim, S., G\u00f3mez-Zamalloa, S., Johnsen, E.B., Schlatte, R., Tapia Tarifa, S.L.: Simulating concurrent behaviors with worst-case cost bounds. In: Butler, M., Schulte, W. (eds.) Proceedings of 17th International Symposium on Formal Methods (FM 2011), vol. 6664, Lecture Notes in Computer Science, pp. 353\u2013368. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-21437-0_27"},{"key":"250_CR13","doi-asserted-by":"crossref","unstructured":"Apel, S., Lengauer, C.: Superimposition: A language-independent approach to software composition. In: Software Composition, vol. 4954, Lecture Notes in Computer Science, pp. 20\u201335. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-78789-1_2"},{"issue":"11","key":"250_CR14","doi-asserted-by":"crossref","first-page":"1022","DOI":"10.1016\/j.scico.2010.02.001","volume":"75","author":"S. Apel","year":"2010","unstructured":"Apel S., Lengauer C., M\u00f6ller B., K\u00e4stner C.: An algebraic foundation for automatic feature-based program synthesis. Sci. Comput. Program. (SCP) 75(11), 1022\u20131047 (2010)","journal-title":"Sci. Comput. Program. (SCP)"},{"key":"250_CR15","doi-asserted-by":"crossref","unstructured":"Apel, S., Leich, T., Rosenm\u00fcller, M., Saake, G.: FeatureC++: On the symbiosis of feature-oriented and aspect-oriented programming. In: GPCE, vol. 3676, Lecture Notes in Computer Science, pp. 125\u2013140. Springer, Berlin (2005)","DOI":"10.1007\/11561347_10"},{"issue":"9","key":"250_CR16","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/1810891.1810910","volume":"53","author":"J. Armstrong","year":"2010","unstructured":"Armstrong J.: Erlang. Commun. ACM 53(9), 68\u201375 (2010)","journal-title":"Commun. ACM"},{"key":"250_CR17","doi-asserted-by":"crossref","unstructured":"Apel, S., Scholz, W., Lengauer, C., K\u00e4stner, C.: Detecting Dependences and interactions in feature-oriented design. In: IEEE International Symposium on Software Reliability Engineering (ISSRE) (2010)","DOI":"10.1109\/ISSRE.2010.11"},{"key":"250_CR18","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/BFb0048942","volume-title":"Programming Languages and Their Definition, vol. 177, Lecture Notes in Computer Science","author":"H. Bekic","year":"1984","unstructured":"Bekic H., Bj\u00f8rner D., Henhapl W., Jones C.B., Lucas P.: On the formal definition of a PL\/I subset (selected parts). In: Jones, C.B. (ed.) Programming Languages and Their Definition, vol. 177, Lecture Notes in Computer Science, pp. 107\u2013155. Springer, Berlin (1984)"},{"issue":"12","key":"250_CR19","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1145\/1183236.1183264","volume":"49","author":"D. Batory","year":"2006","unstructured":"Batory D., Benavides D., Ruiz-Cortes A.: Automated analysis of feature models: challenges ahead. Commun. ACM 49(12), 45\u201347 (2006)","journal-title":"Commun. ACM"},{"key":"250_CR20","unstructured":"Boucher, Q., Classen, A., Faber, P., Heymans, P.: Introducing TVL, a text-based feature modelling language. In: Proceedings of the Fourth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS\u201910), Linz, Austria, January 27\u201329, pp. 159\u2013162. University of Duisburg-Essen, January 2010"},{"key":"250_CR21","unstructured":"Beck, K.: Simple smalltalk testing: with patterns. Smalltalk Report, 4(3), October 1994"},{"key":"250_CR22","doi-asserted-by":"crossref","unstructured":"Bj\u00f8rner, D., Jones, C.B. (eds.) The Vienna Development Method: The Meta- Language, vol. 61, Lecture Notes in Computer Science, Springer, Berlin (1978)","DOI":"10.1007\/3-540-08766-4"},{"key":"250_CR23","doi-asserted-by":"crossref","unstructured":"Batory, D.S., Sarvela, J.N., Rauschmayer, Axel.: Scaling step-wise refinement. IEEE Trans. Softw. Eng. 30(6) (2004)","DOI":"10.1109\/TSE.2004.23"},{"volume-title":"All About Maude\u2014A high-performance logical framework, how to specify, program and verify systems in rewriting logic, vol. 4350, Lecture Notes in Computer Science","year":"2007","key":"250_CR24","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.L. (eds): All About Maude\u2014A high-performance logical framework, how to specify, program and verify systems in rewriting logic, vol. 4350, Lecture Notes in Computer Science. Springer, Berlin (2007)"},{"key":"250_CR25","unstructured":"Clarke, D., Diakov, N., H\u00c4hnle, R., Johnsen, E.B., Puebla, G., Weitzel, B., Wong P.Y.H.: HATS: A Formal software product line engineering methodology. In: Proceedings of International Workshop on Formal Methods in Software Product Line Engineering, September 2010"},{"key":"250_CR26","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1007\/978-3-642-21455-4_13","volume-title":"Formal methods for eternal networked software systems, vol. 6659, Lecture Notes in Computer Science","author":"D. Clarke","year":"2011","unstructured":"Clarke D., Diakov N., H\u00c4hnle R., Johnsen E.B., Schaefer I., Sch\u00c4fer J., Schlatte R., Wong P.Y.H.: Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language. In: Bernardo, M., Issarny, V. (eds) Formal methods for eternal networked software systems, vol. 6659, Lecture Notes in Computer Science, pp. 417\u2013457. Springer, Berlin (2011)"},{"issue":"1","key":"250_CR27","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1002\/spip.213","volume":"10","author":"K. Czarnecki","year":"2005","unstructured":"Czarnecki K., Helsen S., Eisenecker U.: Formalizing cardinality-based feature models and their specialization. Softw. Process Improv. Pract. 10(1), 7\u201329 (2005)","journal-title":"Softw. Process Improv. Pract."},{"key":"250_CR28","doi-asserted-by":"crossref","unstructured":"Clarke, D., Muschevici, R., Proen\u00e7a, J., Schaefer, I., Schlatte, R.: Variability modelling in the ABS language. In: Formal Methods for Components and Objects, vol. 6957 of LNCS. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-25271-6_11"},{"key":"250_CR29","doi-asserted-by":"crossref","unstructured":"Din, C.C., Dovland, J., Johnsen, E.B., Owe, O.: Observable behavior of distributed systems: Component reasoning for concurrent objects. J. Logic Algebr. Program. (2012) (to appear)","DOI":"10.1016\/j.jlap.2012.01.003"},{"key":"250_CR30","unstructured":"Requirement Elicitation, August (2009) Deliverable 5.1 of project FP7-231620 (HATS). http:\/\/www.hats-project.eu"},{"key":"250_CR31","first-page":"19","volume-title":"Proceedings of Workshop on the Foundations of Interactive Computation (FInCo\u201907) vol. 203 of Electronic Notes in Theoretical Computer Science.","author":"J. Dovland","year":"2008","unstructured":"Dovland J., Johnsen E.B., Owe O.: Observable behavior of dynamic systems: Component reasoning for concurrent objects. In: Goldin, D., Arbab, F. (eds) Proceedings of Workshop on the Foundations of Interactive Computation (FInCo\u201907) vol. 203 of Electronic Notes in Theoretical Computer Science., pp. 19\u201334. Elsevier, Amsterdam (2008)"},{"key":"250_CR32","volume-title":"Designing Software Product Lines with UML","author":"Hassan Gomaa","year":"2004","unstructured":"Gomaa Hassan: Designing Software Product Lines with UML. Addison Wesley, Boston (2004)"},{"key":"250_CR33","unstructured":"Hewitt, C., Bishop, P., Steiger, R.: A universal modular actor formalism for artificial intelligence. In: IJCAI, pp. 235\u2013245 (1973)"},{"key":"250_CR34","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1145\/2110147.2110163","volume-title":"International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS).","author":"M. Helvensteijn","year":"2012","unstructured":"Helvensteijn M., Muschevici R., Wong P.Y.H.: Delta modeling in practice: a Fredhopper case study. In: Eisenecker, U.W., Apel, S., Gnesi, S. (eds) International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS)., pp. 139\u2013148. ACM Press, New York (2012)"},{"key":"250_CR35","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"250_CR36","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1007\/978-3-642-11512-7_10","volume-title":"Concurrency, Compositionality, and Correctness, vol. 5930, Lecture Notes in Computer Science","author":"J. Hooman","year":"2010","unstructured":"Hooman J., Verhoef M.: Formal semantics of a vdm extension for distributed embedded systems. In: Dams, D., Hannemann, U., Steffen, M. (eds) Concurrency, Compositionality, and Correctness, vol. 5930, Lecture Notes in Computer Science, pp. 142\u2013161. Springer, BErlin (2010)"},{"key":"250_CR37","unstructured":"Heidenreich, F., Wende, C.: Bridging the gap between features and models. In: Aspect-Oriented Product Line Engineering (AOPLE\u201907) (2007)"},{"key":"250_CR38","doi-asserted-by":"crossref","unstructured":"Johnsen, E.B., H\u00e4hnle, R., Sch\u00e4fer, J., Schlatte, R., Steffen, M.: ABS: A core language for abstract behavioral specification. In: Aichernig B., de Boer F.S., Bonsangue M.M. (eds.) Proceedings of 9th International Symposium on Formal Methods for Components and Objects (FMCO 2010), vol. 6957 of LNCS, pp. 142\u2013164. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-25271-6_8"},{"key":"250_CR39","doi-asserted-by":"crossref","unstructured":"Johnsen, E. B., Lanese, I., Zavattaro, G.: Fault in the future. In: Meuter W.D., Roman G.-C. (eds.) Proceedings of 13th International Conference on Coordination Models and Languages (COORDINATION 2011), vol. 6721, Lecture Notes in Computer Science, pp. 1\u201315. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-21464-6_1"},{"issue":"1","key":"250_CR40","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/s10270-006-0011-2","volume":"6","author":"E.B. Johnsen","year":"2007","unstructured":"Johnsen E.B., Owe O.: An asynchronous communication model for distributed concurrent objects. Softw. Syst. Model. 6(1), 35\u201358 (2007)","journal-title":"Softw. Syst. Model."},{"key":"250_CR41","doi-asserted-by":"crossref","unstructured":"Johnsen, E.B., Owe, O., Schlatte, R., Tapia Tarifa, S.L.: Validating timed models of deployment components with parametric concurrency. In: Beckert, B., March\u00e9, C. (eds.) Proceedings of International Conference on Formal Verification of Object-Oriented Software (FoVeOOS\u201910), vol. 6528 Lecture Notes in Computer Science, pp. 46\u201360. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-18070-5_4"},{"key":"250_CR42","doi-asserted-by":"crossref","unstructured":"K\u00e4stner, C., Apel, S., Kuhlemann, M.: Granularity in software product lines. In: ICSE pp. 311\u2013320 (2008)","DOI":"10.1145\/1368088.1368131"},{"key":"250_CR43","doi-asserted-by":"crossref","unstructured":"Kang, K.C., Cohen, S., Hess, J., Nowak, W., Peterson, S.: Feature-oriented domain analysis (FODA) feasibility study. Technical Report CMU\/SEI-90-TR-021, Carnegie Mellon University Software Engineering Institute (1990)","DOI":"10.21236\/ADA235785"},{"issue":"1","key":"250_CR44","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1668862.1668864","volume":"35","author":"P.G. Larsen","year":"2010","unstructured":"Larsen P.G., Battle N., Ferreira M.A., Fitzgerald J.S., Lausdahl K., Verhoef M.: The Overture initiative integrating tools for VDM. ACM SIGSOFT Softw. Eng. Notes. 35(1), 1\u20136 (2010)","journal-title":"ACM SIGSOFT Softw. Eng. Notes."},{"key":"250_CR45","volume-title":"Communicating and Mobile Systems: the \u03c0-Calculus","author":"R. Milner","year":"1999","unstructured":"Milner R.: Communicating and Mobile Systems: the \u03c0-Calculus. Cambridge University Press, Cambridge (1999)"},{"key":"250_CR46","doi-asserted-by":"crossref","unstructured":"Mezini, M., Ostermann, K.: Variability management with feature-oriented programming and aspects. In: SIGSOFT FSE, pp. 127\u2013136. ACM, New York (2004)","DOI":"10.1145\/1041685.1029915"},{"key":"250_CR47","doi-asserted-by":"crossref","unstructured":"Noda, N., Kishi, T.: Aspect-Oriented Modeling for Variability Management. In: SPLC (2008)","DOI":"10.1109\/SPLC.2008.44"},{"key":"250_CR48","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product Line Engineering: Foundations, Principles, and Techniques","author":"K. Pohl","year":"2005","unstructured":"Pohl K., B\u00f6ckle G., Van Der Linden F.: Software Product Line Engineering: Foundations, Principles, and Techniques. Springer, Berlin (2005)"},{"key":"250_CR49","doi-asserted-by":"crossref","unstructured":"Prehofer, C.: Feature-oriented programming: A fresh look at objects. In: European Conference on Object-Oriented Programming (ECOOP\u201997), vol. 1241, Lecture Notes in Computer Science, pp. 419\u2013443. Springer, Berlin (1997)","DOI":"10.1007\/BFb0053389"},{"key":"250_CR50","doi-asserted-by":"crossref","unstructured":"Reiser, M.-O., Kolagari, R.T., Weber, M.: Compositional variability\u2014concepts and patterns. In: HICSS, pp. 1\u201310. IEEE Computer Society (2009)","DOI":"10.1109\/HICSS.2009.121"},{"key":"250_CR51","doi-asserted-by":"crossref","unstructured":"Schaefer, I., Bettini, L., Bono, V., Damiani, F., Tanzarella, N.: Delta-oriented programming of software product lines. In: Proceedings of 14th Software Product Line Conference (SPLC 2010), September 2010","DOI":"10.1007\/978-3-642-15579-6_6"},{"key":"250_CR52","doi-asserted-by":"crossref","unstructured":"Schaefer, I., Bettini, L., Damiani, F., Tanzarella, N.: Delta-oriented programming of software product lines. In: Proceedings of the 14th International Conference on Software Product Lines: Going Beyond, SPLC\u201910, pp. 77\u201391. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-15579-6_6"},{"issue":"2","key":"250_CR53","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1109\/MC.2011.47","volume":"44","author":"I. Schaefer","year":"2011","unstructured":"Schaefer I., H\u00c4hnle R.: Formal methods in software product line engineering. IEEE Comput. 44(2), 82\u201385 (2011)","journal-title":"IEEE Comput."},{"key":"250_CR54","volume-title":"The Z notation\u2014a reference manual","author":"J.M. Spivey","year":"1989","unstructured":"Spivey J.M.: The Z notation\u2014a reference manual. Prentice Hall, Englewood Cliffs (1989)"},{"key":"250_CR55","doi-asserted-by":"crossref","unstructured":"V\u00f6lter, M., Groher, I.: Product line implementation using aspect-oriented and model-driven software development. In: SPLC, pp. 233\u2013242 (2007)","DOI":"10.1109\/SPLINE.2007.4339272"},{"key":"250_CR56","first-page":"147","volume-title":"FM, vol. 4085, Lecture Notes in Computer Science","author":"M. Verhoef","year":"2006","unstructured":"Verhoef M., Larsen P.G., Hooman J.: Modeling and validating distributed embedded real-time systems with VDM++. In: Misra, J., Nipkow, T., Sekerinski, E. (eds) FM, vol. 4085, Lecture Notes in Computer Science, pp. 147\u2013162. Springer, Berlin (2006)"},{"key":"250_CR57","doi-asserted-by":"crossref","unstructured":"Wong, P.Y.H., Diakov, N., Schaefer, I.: Modelling distributed adaptable object-oriented systems using hats approach: A fredhopper case study. In: Beckert, B., Damiani, F., Gurov, D. (eds.) 2nd International Conference on Formal Verification of Object-Oriented Software, vol. 7421 of LNCS. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-31762-0_5"},{"key":"250_CR58","doi-asserted-by":"crossref","unstructured":"Wegbreit, B.: Mechanical program analysis. Commun. ACM 18(9) (1975)","DOI":"10.1145\/361002.361016"},{"key":"250_CR59","doi-asserted-by":"crossref","unstructured":"Welsch, Y., Sch\u00e4fer, J.: Location types for safe distributed object-oriented programming. In: 49th International Conference on Objects, Models, Components and Patterns (TOOLS Europe 2011), LNCS, pp. 194\u2013210. Springer, June 2011","DOI":"10.1007\/978-3-642-21952-8_15"},{"key":"250_CR60","first-page":"49","volume-title":"Mobile Object Systems, vol. 1222, Lecture Notes in Computer Science","author":"J. Waldo","year":"1996","unstructured":"Waldo J., Wyant G., Wollrath A., Kendall S.C.: A note on distributed computing. In: Vitek, J., Tschudin, C.F. (eds) Mobile Object Systems, vol. 1222, Lecture Notes in Computer Science, pp. 49\u201364. Springer, Berlin (1996)"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-012-0250-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-012-0250-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-012-0250-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,4]],"date-time":"2025-04-04T12:38:55Z","timestamp":1743770335000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-012-0250-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7,18]]},"references-count":60,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2012,10]]}},"alternative-id":["250"],"URL":"https:\/\/doi.org\/10.1007\/s10009-012-0250-1","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"type":"print","value":"1433-2779"},{"type":"electronic","value":"1433-2787"}],"subject":[],"published":{"date-parts":[[2012,7,18]]}}}