{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T12:47:42Z","timestamp":1740142062277,"version":"3.37.3"},"reference-count":54,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2019,6,18]],"date-time":"2019-06-18T00:00:00Z","timestamp":1560816000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2019,6,18]],"date-time":"2019-06-18T00:00:00Z","timestamp":1560816000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100003246","name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","doi-asserted-by":"publisher","award":["several, for all three authors, see paper"],"award-info":[{"award-number":["several, for all three authors, see paper"]}],"id":[{"id":"10.13039\/501100003246","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2019,9]]},"DOI":"10.1007\/s11334-019-00349-z","type":"journal-article","created":{"date-parts":[[2019,6,18]],"date-time":"2019-06-18T11:02:32Z","timestamp":1560855752000},"page":"207-233","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Model-based testing of stochastically timed systems"],"prefix":"10.1007","volume":"15","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2655-9617","authenticated-orcid":false,"given":"Marcus","family":"Gerhold","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3268-8674","authenticated-orcid":false,"given":"Arnd","family":"Hartmanns","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6793-8165","authenticated-orcid":false,"given":"Mari\u00eblle","family":"Stoelinga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,6,18]]},"reference":[{"key":"349_CR1","volume-title":"Principles of model checking","author":"C Baier","year":"2008","unstructured":"Baier C, Katoen JP (2008) Principles of model checking. MIT Press, Cambridge"},{"key":"349_CR2","unstructured":"Belinfante A (2014) JTorX: exploring model-based testing. Ph.D. thesis, University of Twente, Enschede, The Netherlands. \n                    http:\/\/purl.utwente.nl\/publications\/91781"},{"key":"349_CR3","unstructured":"Bluetooth SIG: Bluetooth specification, version 1.2. \n                    www.bluetooth.com\n                    \n                   (2003)"},{"key":"349_CR4","doi-asserted-by":"publisher","unstructured":"Bohnenkamp HC, Belinfante A (2005) Timed testing with TorX. In: Formal methods: international symposium of Formal Methods Europe (FM). Lecture notes in computer science, vol 3582. Springer, pp 173\u2013188. \n                    https:\/\/doi.org\/10.1007\/11526841_13","DOI":"10.1007\/11526841_13"},{"key":"349_CR5","doi-asserted-by":"publisher","unstructured":"Briones LB, Brinksma E (2004) A test generation framework for quiescent real-time systems. In: 4th international workshop on formal approaches to software testing (FATES). Lecture notes in computer science, vol 3395. Springer, pp 64\u201378. \n                    https:\/\/doi.org\/10.1007\/978-3-540-31848-4_5","DOI":"10.1007\/978-3-540-31848-4_5"},{"key":"349_CR6","doi-asserted-by":"publisher","unstructured":"Budde CE, D\u2019Argenio PR, Hartmanns A, Sedwards S (2018) A statistical model checker for nondeterminism and rare events. In: 24th international conference on tools and algorithms for the construction and analysis of systems (TACAS). Lecture notes in computer science, vol 10806. Springer, pp 340\u2013358. \n                    https:\/\/doi.org\/10.1007\/978-3-319-89963-3_20","DOI":"10.1007\/978-3-319-89963-3_20"},{"issue":"1\u20132","key":"349_CR7","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/j.tcs.2006.07.033","volume":"365","author":"L Cheung","year":"2006","unstructured":"Cheung L, Lynch NA, Segala R, Vaandrager FW (2006) Switched PIOA: parallel composition via distributed scheduling. Theor Comput Sci 365(1\u20132):83\u2013108. \n                    https:\/\/doi.org\/10.1016\/j.tcs.2006.07.033","journal-title":"Theor Comput Sci"},{"issue":"6","key":"349_CR8","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1145\/1314690.1314693","volume":"54","author":"L Cheung","year":"2007","unstructured":"Cheung L, Stoelinga M, Vaandrager FW (2007) A testing scenario for probabilistic processes. J ACM 54(6):29. \n                    https:\/\/doi.org\/10.1145\/1314690.1314693","journal-title":"J ACM"},{"issue":"2","key":"349_CR9","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1006\/inco.1999.2808","volume":"154","author":"R Cleaveland","year":"1999","unstructured":"Cleaveland R, Dayar Z, Smolka SA, Yuen S (1999) Testing preorders for probabilistic processes. Inf Comput 154(2):93\u2013148. \n                    https:\/\/doi.org\/10.1006\/inco.1999.2808","journal-title":"Inf Comput"},{"issue":"339","key":"349_CR10","doi-asserted-by":"publisher","first-page":"591","DOI":"10.1080\/01621459.1972.10481254","volume":"67","author":"WJ Conover","year":"1972","unstructured":"Conover WJ (1972) A Kolmogorov goodness-of-fit test for discontinuous distributions. J Am Stat Assoc 67(339):591\u2013596","journal-title":"J Am Stat Assoc"},{"issue":"1","key":"349_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.ic.2005.07.001","volume":"203","author":"PR D\u2019Argenio","year":"2005","unstructured":"D\u2019Argenio PR, Katoen JP (2005) A theory of stochastic systems part I: stochastic automata. Inf Comput 203(1):1\u201338. \n                    https:\/\/doi.org\/10.1016\/j.ic.2005.07.001","journal-title":"Inf Comput"},{"key":"349_CR12","doi-asserted-by":"publisher","unstructured":"D\u2019Argenio PR, Lee MD, Monti RE (2016) Input\/output stochastic automata\u2014compositionality and determinism. In: 14th international conference on formal modeling and analysis of timed systems (FORMATS). Lecture notes in computer science, vol 9884. Springer, pp 53\u201368. \n                    https:\/\/doi.org\/10.1007\/978-3-319-44878-7_4","DOI":"10.1007\/978-3-319-44878-7_4"},{"key":"349_CR13","doi-asserted-by":"publisher","unstructured":"Dehnert C, Junges S, Katoen JP, Volk M (2017) A Storm is coming: A modern probabilistic model checker. In: 29th international conference on computer aided verification (CAV). Lecture notes in computer science, vol 10427. Springer, pp 592\u2013600. \n                    https:\/\/doi.org\/10.1007\/978-3-319-63390-9_31","DOI":"10.1007\/978-3-319-63390-9_31"},{"issue":"4","key":"349_CR14","doi-asserted-by":"publisher","first-page":"4","DOI":"10.2168\/LMCS-4(4:4)2008","volume":"4","author":"Y Deng","year":"2008","unstructured":"Deng Y, van Glabbeek RJ, Hennessy M, Morgan C (2008) Characterising testing preorders for finite probabilistic processes. Log Methods Comput Sci 4(4):4. \n                    https:\/\/doi.org\/10.2168\/LMCS-4(4:4)2008","journal-title":"Log Methods Comput Sci"},{"key":"349_CR15","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/j.ic.2012.10.010","volume":"222","author":"Y Deng","year":"2013","unstructured":"Deng Y, Hennessy M (2013) On the semantics of Markov automata. Inf Comput 222:139\u2013168. \n                    https:\/\/doi.org\/10.1016\/j.ic.2012.10.010","journal-title":"Inf Comput"},{"issue":"6","key":"349_CR16","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1007\/s10009-006-0014-x","volume":"8","author":"M Duflot","year":"2006","unstructured":"Duflot M, Kwiatkowska MZ, Norman G, Parker D (2006) A formal analysis of Bluetooth device discovery. STTT 8(6):621\u2013632. \n                    https:\/\/doi.org\/10.1007\/s10009-006-0014-x","journal-title":"STTT"},{"key":"349_CR17","doi-asserted-by":"publisher","unstructured":"Eisentraut C, Hermanns H, Zhang L (2010) On probabilistic automata in continuous time. In: 25th annual IEEE symposium on logic in computer science (LICS). IEEE Computer Society, pp 342\u2013351. \n                    https:\/\/doi.org\/10.1109\/LICS.2010.41","DOI":"10.1109\/LICS.2010.41"},{"key":"349_CR18","doi-asserted-by":"publisher","unstructured":"Gerhold M (2018) Choice and chance\u2014model-based testing of stochastic behaviour. Ph.D. thesis, University of Twente, Enschede, The Netherlands. \n                    https:\/\/doi.org\/10.3990\/1.9789036546959","DOI":"10.3990\/1.9789036546959"},{"key":"349_CR19","doi-asserted-by":"publisher","unstructured":"Gerhold M, Hartmanns A, Stoelinga M (2018) Model-based testing for general stochastic time. In: 10th international NASA formal methods symposium (NFM). Lecture notes in computer science, vol 10811. Springer, pp 203\u2013219. \n                    https:\/\/doi.org\/10.1007\/978-3-319-77935-5_15","DOI":"10.1007\/978-3-319-77935-5_15"},{"key":"349_CR20","doi-asserted-by":"publisher","unstructured":"Gerhold M, Stoelinga M (2016) Model-based testing of probabilistic systems. In: 19th international conference on fundamental approaches to software engineering (FASE). Lecture notes in computer science, vol 9633. Springer, pp 251\u2013268. \n                    https:\/\/doi.org\/10.1007\/978-3-662-49665-7_15","DOI":"10.1007\/978-3-662-49665-7_15"},{"key":"349_CR21","doi-asserted-by":"publisher","unstructured":"Gerhold M, Stoelinga M (2017) Model-based testing of probabilistic systems with stochastic time. In: 11th international conference on tests and proofs (TAP). Lecture notes in computer science, vol 10375. Springer, pp 77\u201397. \n                    https:\/\/doi.org\/10.1007\/978-3-319-61467-0_5","DOI":"10.1007\/978-3-319-61467-0_5"},{"key":"349_CR22","doi-asserted-by":"publisher","unstructured":"Gibbons JD, Chakraborti S (2011) Nonparametric statistical inference. In: International encyclopedia of statistical science. Springer, pp 977\u2013979. \n                    https:\/\/doi.org\/10.1007\/978-3-642-04898-2_420","DOI":"10.1007\/978-3-642-04898-2_420"},{"key":"349_CR23","doi-asserted-by":"publisher","unstructured":"Gordon AD, Henzinger TA, Nori AV, Rajamani SK (2014) Probabilistic programming. In: Future of software engineering (FOSE). ACM, pp 167\u2013181. \n                    https:\/\/doi.org\/10.1145\/2593882.2593900","DOI":"10.1145\/2593882.2593900"},{"key":"349_CR24","doi-asserted-by":"publisher","unstructured":"Graf-Brill A, Hartmanns A, Hermanns H, Rose S (2017) Modelling and certification for electric mobility. In: 15th IEEE international conference on industrial informatics (INDIN). IEEE, pp 109\u2013114. \n                    https:\/\/doi.org\/10.1109\/INDIN.2017.8104755","DOI":"10.1109\/INDIN.2017.8104755"},{"key":"349_CR25","doi-asserted-by":"publisher","unstructured":"Hartmanns A, Hermanns H (2014) The Modest Toolset: an integrated environment for quantitative modelling and verification. In: 20th international conference on tools and algorithms for the construction and analysis of systems (TACAS). Lecture notes in computer science, vol 8413. Springer, pp 593\u2013598. \n                    https:\/\/doi.org\/10.1007\/978-3-642-54862-8_51","DOI":"10.1007\/978-3-642-54862-8_51"},{"key":"349_CR26","doi-asserted-by":"publisher","unstructured":"H\u00e9rault T, Lassaigne R, Magniette F, Peyronnet S (2004) Approximate probabilistic model checking. In: 5th international conference on verification, model checking, and abstract interpretation (VMCAI). Lecture notes in computer science, vol 2937. Springer, pp 73\u201384. \n                    https:\/\/doi.org\/10.1007\/978-3-540-24622-0_8","DOI":"10.1007\/978-3-540-24622-0_8"},{"key":"349_CR27","doi-asserted-by":"publisher","unstructured":"Hermanns H (2002) Interactive Markov chains: the quest for quantified quality. Lecture notes in computer science, vol 2428. Springer. \n                    https:\/\/doi.org\/10.1007\/3-540-45804-2","DOI":"10.1007\/3-540-45804-2"},{"issue":"2","key":"349_CR28","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1016\/j.jlap.2008.06.001","volume":"78","author":"RM Hierons","year":"2009","unstructured":"Hierons RM, Merayo MG, N\u00fa\u00f1ez M (2009) Testing from a stochastic timed system with a fault model. J Log Algebr Program 78(2):98\u2013115. \n                    https:\/\/doi.org\/10.1016\/j.jlap.2008.06.001","journal-title":"J Log Algebr Program"},{"key":"349_CR29","volume-title":"Nonparametric statistical methods","author":"M Hollander","year":"2013","unstructured":"Hollander M, Wolfe DA, Chicken E (2013) Nonparametric statistical methods. Wiley, New York"},{"key":"349_CR30","doi-asserted-by":"publisher","unstructured":"Katoen JP (2016) The probabilistic model checking landscape. In: 31st annual ACM\/IEEE symposium on logic in computer science (LICS). ACM, pp 31\u201345. \n                    https:\/\/doi.org\/10.1145\/2933575.2934574","DOI":"10.1145\/2933575.2934574"},{"issue":"3","key":"349_CR31","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/s10703-009-0065-1","volume":"34","author":"M Krichen","year":"2009","unstructured":"Krichen M, Tripakis S (2009) Conformance testing for real-time systems. Form Methods Syst Des 34(3):238\u2013304. \n                    https:\/\/doi.org\/10.1007\/s10703-009-0065-1","journal-title":"Form Methods Syst Des"},{"key":"349_CR32","doi-asserted-by":"publisher","unstructured":"Kwiatkowska MZ, Norman G, Parker D (2011) PRISM 4.0: verification of probabilistic real-time systems. In: 23rd international conference on computer aided verification (CAV). Lecture notes in computer science, vol 6806. Springer, pp 585\u2013591. \n                    https:\/\/doi.org\/10.1007\/978-3-642-22110-1_47","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"349_CR33","doi-asserted-by":"publisher","unstructured":"Larsen KG, Mikucionis M, Nielsen B (2004) Online testing of real-time systems using uppaal. In: 4th international workshop on formal approaches to software testing (FATES). Lecture notes in computer science, vol 3395. Springer, pp 79\u201394. \n                    https:\/\/doi.org\/10.1007\/978-3-540-31848-4_6","DOI":"10.1007\/978-3-540-31848-4_6"},{"key":"349_CR34","volume-title":"Uppaal Tron user manual","author":"KG Larsen","year":"2009","unstructured":"Larsen KG, Mikucionis M, Nielsen B (2009) Uppaal Tron user manual. CISS, BRICS, Aalborg University, Aalborg"},{"key":"349_CR35","doi-asserted-by":"publisher","unstructured":"Larsen KG, Skou A (1989) Bisimulation through probabilistic testing. In: Sixteenth annual ACM symposium on principles of programming languages (POPL). ACM Press, pp 344\u2013352. \n                    https:\/\/doi.org\/10.1145\/75277.75307","DOI":"10.1145\/75277.75307"},{"key":"349_CR36","doi-asserted-by":"publisher","unstructured":"Legay A, Sedwards S, Traonouez LM (2016) Plasma Lab: a modular statistical model checking platform. In: 7th international symposium on leveraging applications of formal methods, verification and validation: foundational techniques (ISoLA). Lecture notes in computer science, vol 9952, pp 77\u201393. \n                    https:\/\/doi.org\/10.1007\/978-3-319-47166-2_6","DOI":"10.1007\/978-3-319-47166-2_6"},{"key":"349_CR37","doi-asserted-by":"publisher","unstructured":"Milner R (1980) A calculus of communicating systems. Lecture notes in computer science, vol\u00a092. Springer. \n                    https:\/\/doi.org\/10.1007\/3-540-10235-3","DOI":"10.1007\/3-540-10235-3"},{"issue":"6","key":"349_CR38","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1109\/79.543975","volume":"13","author":"TK Moon","year":"1996","unstructured":"Moon TK (1996) The expectation\u2013maximization algorithm. IEEE Signal Process Mag 13(6):47\u201360","journal-title":"IEEE Signal Process Mag"},{"issue":"4","key":"349_CR39","doi-asserted-by":"publisher","first-page":"697","DOI":"10.1007\/s10898-006-9119-8","volume":"40","author":"J Nie","year":"2008","unstructured":"Nie J, Demmel J, Gu M (2008) Global minimization of rational functions and the nearest GCDs. J Global Optim 40(4):697\u2013718. \n                    https:\/\/doi.org\/10.1007\/s10898-006-9119-8","journal-title":"J Global Optim"},{"key":"349_CR40","doi-asserted-by":"publisher","unstructured":"N\u00fa\u00f1ez M, Rodr\u00edguez I (2003) Towards testing stochastic timed systems. In: 23rd IFIP WG 6.1 international conference on formal techniques for networked and distributed systems (FORTE). Lecture notes in computer science, vol 2767. Springer, pp 335\u2013350. \n                    https:\/\/doi.org\/10.1007\/978-3-540-39979-7_22","DOI":"10.1007\/978-3-540-39979-7_22"},{"key":"349_CR41","doi-asserted-by":"publisher","unstructured":"Schuts M, Hooman J, Vaandrager FW (2016) Refactoring of legacy software using model learning and equivalence checking: An industrial experience report. In: 12th international conference on integrated formal methods (IFM). Lecture notes in computer science, vol 9681. Springer, pp 311\u2013325. \n                    https:\/\/doi.org\/10.1007\/978-3-319-33693-0_20","DOI":"10.1007\/978-3-319-33693-0_20"},{"key":"349_CR42","unstructured":"Segala R (1995) Modeling and verification of randomized distributed real-time systems. Ph.D. thesis, Massachusetts Institute of Technology, Cambridge, MA, USA"},{"key":"349_CR43","unstructured":"Song L, Zhang L, Godskesen JC (2012) Late weak bisimulation for Markov automata. CoRR. \n                    arXiv:1202.4116"},{"key":"349_CR44","unstructured":"Stoelinga M (2002) Alea Jacta Est: verification of probabilistic, real-time and parametric systems. Ph.D. thesis, University of Nijmegen, Nijmegen, The Netherlands"},{"key":"349_CR45","doi-asserted-by":"publisher","unstructured":"Stokkink WGJ, Timmer M, Stoelinga M (2013) Divergent quiescent transition systems. In: 7th international conference on tests and proofs (TAP). Lecture notes in computer science, vol 7942. Springer. \n                    https:\/\/doi.org\/10.1007\/978-3-642-38916-0_13","DOI":"10.1007\/978-3-642-38916-0_13"},{"key":"349_CR46","volume-title":"Probabilistic robotics","author":"S Thrun","year":"2005","unstructured":"Thrun S, Burgard W, Fox D (2005) Probabilistic robotics. MIT Press, Cambridge"},{"key":"349_CR47","doi-asserted-by":"publisher","unstructured":"Timmer M, Brinksma E, Stoelinga M (2011) Model-based testing. In: Software and systems safety\u2014specification and verification, NATO science for peace and security series\u2014D: information and communication security, vol\u00a030. IOS Press, pp 1\u201332. \n                    https:\/\/doi.org\/10.3233\/978-1-60750-711-6-1","DOI":"10.3233\/978-1-60750-711-6-1"},{"issue":"1","key":"349_CR48","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/S0169-7552(96)00017-7","volume":"29","author":"J Tretmans","year":"1996","unstructured":"Tretmans J (1996) Conformance testing with labelled transition systems: implementation relations and test generation. Comput Netw ISDN Syst 29(1):49\u201379. \n                    https:\/\/doi.org\/10.1016\/S0169-7552(96)00017-7","journal-title":"Comput Netw ISDN Syst"},{"key":"349_CR49","doi-asserted-by":"publisher","unstructured":"Tretmans J (2008) Model based testing with labelled transition systems. In: Formal methods and testing, an outcome of the FORTEST network, revised selected papers. Lecture notes in computer science, vol 4949. Springer, pp 1\u201338. \n                    https:\/\/doi.org\/10.1007\/978-3-540-78917-8_1","DOI":"10.1007\/978-3-540-78917-8_1"},{"issue":"5","key":"349_CR50","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1002\/stvr.456","volume":"22","author":"M Utting","year":"2012","unstructured":"Utting M, Pretschner A, Legeard B (2012) A taxonomy of model-based testing approaches. Softw Test Verif Reliab 22(5):297\u2013312. \n                    https:\/\/doi.org\/10.1002\/stvr.456","journal-title":"Softw Test Verif Reliab"},{"issue":"2","key":"349_CR51","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1145\/2967606","volume":"60","author":"FW Vaandrager","year":"2017","unstructured":"Vaandrager FW (2017) Model learning. Commun ACM 60(2):86\u201395. \n                    https:\/\/doi.org\/10.1145\/2967606","journal-title":"Commun ACM"},{"key":"349_CR52","doi-asserted-by":"publisher","unstructured":"van Glabbeek RJ, Smolka SA, Steffen B, Tofts CMN (1990) Reactive, generative, and stratified models of probabilistic processes. In: Fifth annual symposium on logic in computer science (LICS). IEEE Computer Society, pp 130\u2013141. \n                    https:\/\/doi.org\/10.1109\/LICS.1990.113740","DOI":"10.1109\/LICS.1990.113740"},{"key":"349_CR53","doi-asserted-by":"publisher","unstructured":"Volpato M, Tretmans J (2014) Active learning of nondeterministic systems from an ioco perspective. In: 6th international symposium on leveraging applications of formal methods, verification and validation. Technologies for mastering change (ISoLA). Lecture notes in computer science, vol 8802. Springer, pp 220\u2013235. \n                    https:\/\/doi.org\/10.1007\/978-3-662-45234-9_16","DOI":"10.1007\/978-3-662-45234-9_16"},{"key":"349_CR54","doi-asserted-by":"publisher","unstructured":"Younes HLS, Simmons RG (2002) Probabilistic verification of discrete event systems using acceptance sampling. In: 14th international conference on computer aided verification (CAV). Lecture notes in computer science, vol 2404. Springer, pp. 223\u2013235. \n                    https:\/\/doi.org\/10.1007\/3-540-45657-0_17","DOI":"10.1007\/3-540-45657-0_17"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-019-00349-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11334-019-00349-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-019-00349-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,16]],"date-time":"2020-06-16T23:22:19Z","timestamp":1592349739000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11334-019-00349-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6,18]]},"references-count":54,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2019,9]]}},"alternative-id":["349"],"URL":"https:\/\/doi.org\/10.1007\/s11334-019-00349-z","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"type":"print","value":"1614-5046"},{"type":"electronic","value":"1614-5054"}],"subject":[],"published":{"date-parts":[[2019,6,18]]},"assertion":[{"value":"20 September 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"11 June 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 June 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}