{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T17:08:51Z","timestamp":1725901731278},"publisher-location":"Cham","reference-count":52,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319614663"},{"type":"electronic","value":"9783319614670"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-61467-0_5","type":"book-chapter","created":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T00:33:58Z","timestamp":1497659638000},"page":"77-97","source":"Crossref","is-referenced-by-count":3,"title":["Model-Based Testing of Probabilistic Systems with Stochastic Time"],"prefix":"10.1007","author":[{"given":"Marcus","family":"Gerhold","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mari\u00eblle","family":"Stoelinga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,6,18]]},"reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/11495628_9","volume-title":"Scenarios: Models, Transformations and Tools","author":"M Beyer","year":"2005","unstructured":"Beyer, M., Dulz, W.: Scenario-based statistical testing of quality of service requirements. In: Leue, S., Syst\u00e4, T.J. (eds.) Scenarios: Models, Transformations and Tools. LNCS, vol. 3466, pp. 152\u2013173. Springer, Heidelberg (2005). doi: 10.1007\/11495628_9"},{"key":"5_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/11526841_13","volume-title":"FM 2005: Formal Methods","author":"H Bohnenkamp","year":"2005","unstructured":"Bohnenkamp, H., Belinfante, A.: Timed testing with TorX. In: Fitzgerald, J., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol. 3582, pp. 173\u2013188. Springer, Heidelberg (2005). doi: 10.1007\/11526841_13"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Bohnenkamp, H., Stoelinga, M.: Quantitative testing. In: Proceedings of the 8th International Conference on Embedded Software, (EMSOFT), pp. 227\u2013236. ACM (2008)","DOI":"10.1145\/1450058.1450089"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"B\u00f6hr, F.: Model-based statistical testing of embedded systems. In: IEEE 4th International Conference on Software Testing, Verification and Validation, pp. 18\u201325 (2011)","DOI":"10.1109\/ICSTW.2011.11"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Bozga, M., David, A. Hartmanns, H., Hermanns, H., Larsen, K.G., Legay, A., Tretmans, J.: State-of-the-art tools and techniques for quantitative modelling and analysis of embedded systems. In: DATE, pp. 370\u2013375 (2012)","DOI":"10.1109\/DATE.2012.6176499"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-540-31848-4_5","volume-title":"Formal Approaches to Software Testing","author":"LB Briones","year":"2005","unstructured":"Briones, L.B., Brinksma, E.: A test generation framework for quiescent real-time systems. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol. 3395, pp. 64\u201378. Springer, Heidelberg (2005). doi: 10.1007\/978-3-540-31848-4_5"},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/11901914_30","volume-title":"Automated Technology for Verification and Analysis","author":"LB Briones","year":"2006","unstructured":"Briones, L.B., Brinksma, E., Stoelinga, M.: A semantic framework for test coverage. In: Graf, S., Zhang, W. (eds.) ATVA 2006. LNCS, vol. 4218, pp. 399\u2013414. Springer, Heidelberg (2006). doi: 10.1007\/11901914_30"},{"issue":"6","key":"5_CR8","doi-asserted-by":"crossref","first-page":"29:1","DOI":"10.1145\/1314690.1314693","volume":"54","author":"L Cheung","year":"2007","unstructured":"Cheung, L., Stoelinga, M., Vaandrager, F.: A testing scenario for probabilistic processes. J. ACM 54(6), 29:1\u201329:45 (2007). Article 29","journal-title":"J. ACM"},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/978-3-642-10366-7_17","volume-title":"Advances in Cryptology-ASIACRYPT 2009","author":"SG Choi","year":"2009","unstructured":"Choi, S.G., Dachman-Soled, D., Malkin, T., Wee, H.: Improved non-committing encryption with applications to adaptively secure protocols. In: Matsui, M. (ed.) ASIACRYPT 2009. LNCS, vol. 5912, pp. 287\u2013302. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-10366-7_17"},{"issue":"2","key":"5_CR10","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1006\/inco.1999.2808","volume":"154","author":"R Cleaveland","year":"1999","unstructured":"Cleaveland, R., Dayar, Z., Smolka, S.A., Yuen, S.: Testing preorders for probabilistic processes. Inf. Comput. 154(2), 93\u2013148 (1999)","journal-title":"Inf. Comput."},{"key":"5_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4899-0399-0","volume-title":"Measure Theory","author":"DL Cohn","year":"1980","unstructured":"Cohn, D.L.: Measure Theory. Birkh\u00e4user, Basel (1980)"},{"issue":"1","key":"5_CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.ic.2005.07.001","volume":"203","author":"PR D\u2019Argenio","year":"2005","unstructured":"D\u2019Argenio, P.R., Katoen, J.-P.: A theory of stochastic systems part I: stochastic automata. Inf. Comput. 203(1), 1\u201338 (2005)","journal-title":"Inf. Comput."},{"key":"5_CR13","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/j.ic.2012.10.010","volume":"222","author":"Y Deng","year":"2013","unstructured":"Deng, Y., Hennessy, M.: On the semantics of Markov automata. Inf. Comput. 222, 139\u2013168 (2013)","journal-title":"Inf. Comput."},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Deng, Y., Hennessy, M., van Glabbeek, R.J., Morgan, C.: Characterising testing preorders for finite probabilistic processes. CoRR (2008)","DOI":"10.2168\/LMCS-4(4:4)2008"},{"issue":"6","key":"5_CR15","doi-asserted-by":"crossref","first-page":"621","DOI":"10.1007\/s10009-006-0014-x","volume":"8","author":"M Duflot","year":"2006","unstructured":"Duflot, M., Kwiatkowska, M., Norman, G., Parker, D.: A formal analysis of bluetooth device discovery. Int. J. Softw. Tools Technol. Transf. 8(6), 621\u2013632 (2006)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Eisentraut, C., Hermanns, H., Zhang, L.: On probabilistic automata in continuous time. In: IEEE 25th Annual Symposium on LICS, pp. 342\u2013351 (2010)","DOI":"10.1109\/LICS.2010.41"},{"key":"5_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/978-3-662-49665-7_15","volume-title":"Fundamental Approaches to Software Engineering","author":"M Gerhold","year":"2016","unstructured":"Gerhold, M., Stoelinga, M.: Model-based testing of probabilistic systems. In: Stevens, P., W\u0105sowski, A. (eds.) FASE 2016. LNCS, vol. 9633, pp. 251\u2013268. Springer, Heidelberg (2016). doi: 10.1007\/978-3-662-49665-7_15"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Gerhold, M., Stoelinga, M.: Model-based testing of stochastic systems with IOCO theory. In: A-TEST 2016, Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation, pp. 45\u201351. ACM (2016)","DOI":"10.1145\/2994291.2994298"},{"key":"5_CR19","unstructured":"Guiotto, A., Acquaroli, B., Martelli, A.: MaTeLo: automated testing suite for software validation. In: DASIA, vol. 532 (2003)"},{"key":"5_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1007\/978-3-642-54862-8_51","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A Hartmanns","year":"2014","unstructured":"Hartmanns, A., Hermanns, H.: The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification. In: \u00c1brah\u00e1m, E., Havelund, K. (eds.) TACAS 2014. LNCS, vol. 8413, pp. 593\u2013598. Springer, Heidelberg (2014). doi: 10.1007\/978-3-642-54862-8_51"},{"key":"5_CR21","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45804-2","volume-title":"Interactive Markov Chains: and the Quest for Quantified Quality","author":"H Hermanns","year":"2002","unstructured":"Hermanns, H., Chains, I.M.: Interactive Markov Chains: and the Quest for Quantified Quality. Springer, Heidelberg (2002)"},{"key":"5_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-540-78917-8_3","volume-title":"Formal Methods and Testing","author":"A Hessel","year":"2008","unstructured":"Hessel, A., Larsen, K.G., Mikucionis, M., Nielsen, B., Pettersson, P., Skou, A.: Testing real-time systems using UPPAAL. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) Formal Methods and Testing. LNCS, vol. 4949, pp. 77\u2013117. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-78917-8_3"},{"issue":"11","key":"5_CR23","doi-asserted-by":"crossref","first-page":"1804","DOI":"10.1016\/j.jss.2009.06.030","volume":"82","author":"RM Hierons","year":"2009","unstructured":"Hierons, R.M., Merayo, M.G.: Mutation testing from probabilistic and stochastic finite state machines. J. Syst. Softw. 82(11), 1804\u20131818 (2009)","journal-title":"J. Syst. Softw."},{"key":"5_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/978-3-642-13464-7_6","volume-title":"Formal Techniques for Distributed Systems","author":"RM Hierons","year":"2010","unstructured":"Hierons, R.M., N\u00fa\u00f1ez, M.: Testing probabilistic distributed systems. In: Hatcliff, J., Zucca, E. (eds.) FMOODS\/FORTE -2010. LNCS, vol. 6117, pp. 63\u201377. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-13464-7_6"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Hierons, R.M., N\u00fa\u00f1ez, M.: Implementation relations and probabilistic schedulers in the distributed test architecture. J. Syst. Softw. (2017)","DOI":"10.1016\/j.jss.2017.03.011"},{"issue":"7","key":"5_CR26","doi-asserted-by":"crossref","first-page":"1108","DOI":"10.1016\/j.comnet.2009.10.014","volume":"54","author":"I Hwang","year":"2010","unstructured":"Hwang, I., Cavalli, A.R.: Testing a probabilistic FSM using interval estimation. Comput. Netw. 54(7), 1108\u20131125 (2010)","journal-title":"Comput. Netw."},{"key":"5_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1007\/978-3-642-28756-5_37","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"C Jegourel","year":"2012","unstructured":"Jegourel, C., Legay, A., Sedwards, S.: A Platform for High Performance Statistical Model Checking \u2013 PLASMA. In: Flanagan, C., K\u00f6nig, B. (eds.) TACAS 2012. LNCS, vol. 7214, pp. 498\u2013503. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-28756-5_37"},{"issue":"3","key":"5_CR28","doi-asserted-by":"crossref","first-page":"238","DOI":"10.1007\/s10703-009-0065-1","volume":"34","author":"M Krichen","year":"2009","unstructured":"Krichen, M., Tripakis, S.: Conformance testing for real-time systems. Form. Methods Syst. Des. 34(3), 238\u2013304 (2009)","journal-title":"Form. Methods Syst. Des."},{"key":"5_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/3-540-46029-2_13","volume-title":"Computer Performance Evaluation: Modelling Techniques and Tools","author":"M Kwiatkowska","year":"2002","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM: probabilistic symbolic model checker. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol. 2324, pp. 200\u2013204. Springer, Heidelberg (2002). doi: 10.1007\/3-540-46029-2_13"},{"key":"5_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-3-540-31848-4_6","volume-title":"Formal Approaches to Software Testing","author":"KG Larsen","year":"2005","unstructured":"Larsen, K.G., Mikucionis, M., Nielsen, B.: Online testing of real-time systems using Uppaal. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol. 3395, pp. 79\u201394. Springer, Heidelberg (2005). doi: 10.1007\/978-3-540-31848-4_6"},{"key":"5_CR31","doi-asserted-by":"crossref","unstructured":"Larsen, K.G., Skou, A.: Bisimulation through probabilistic testing, pp. 344\u2013352. ACM Press (1989)","DOI":"10.1145\/75277.75307"},{"key":"5_CR32","series-title":"Lecture Notes in Computer Science","volume-title":"Automata, Languages and Programming","author":"M Lohrey","year":"2002","unstructured":"Lohrey, M., D\u2019Argenio, P.R., Hermanns, H.: Axiomatising Divergence. In: Widmayer, P., Eidenbenz, S., Triguero, F., Morales, R., Conejo, R., Hennessy, M. (eds.) ICALP 2002. LNCS, vol. 2380. Springer, Heidelberg (2002)"},{"key":"5_CR33","volume-title":"Modelling with Generalized Stochastic Petri Nets","author":"MA Marsan","year":"1994","unstructured":"Marsan, M.A., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. Wiley, Hoboken (1994)"},{"key":"5_CR34","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","author":"R Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communicating Systems. Springer, Heidelberg (1980)"},{"key":"5_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/978-3-642-04570-7_19","volume-title":"Formal Methods for Industrial Critical Systems","author":"W Mostowski","year":"2009","unstructured":"Mostowski, W., Poll, E., Schmaltz, J., Tretmans, J., Wichers Schreur, R.: Model-based testing of electronic passports. In: Alpuente, M., Cook, B., Joubert, C. (eds.) FMICS 2009. LNCS, vol. 5825, pp. 207\u2013209. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-04570-7_19"},{"issue":"4","key":"5_CR36","doi-asserted-by":"crossref","first-page":"697","DOI":"10.1007\/s10898-006-9119-8","volume":"40","author":"J Nie","year":"2008","unstructured":"Nie, J., Demmel, J., Gu, M.: Global minimization of rational functions and the nearest GCDs. J. Glob. Optim. 40(4), 697\u2013718 (2008)","journal-title":"J. Glob. Optim."},{"key":"5_CR37","volume-title":"Markov Decision Processes: Discrete Stochastic Dynamic Programming","author":"ML Puterman","year":"2014","unstructured":"Puterman, M.L.: Markov Decision Processes: Discrete Stochastic Dynamic Programming. Wiley, Hoboken (2014)"},{"key":"5_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/978-3-540-72522-0_6","volume-title":"Formal Methods for Performance Evaluation","author":"M Kwiatkowska","year":"2007","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Stochastic model checking. In: Bernardo, M., Hillston, J. (eds.) SFM 2007. LNCS, vol. 4486, pp. 220\u2013270. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-72522-0_6"},{"key":"5_CR39","doi-asserted-by":"crossref","unstructured":"Russell, N., Moore, R.: Explicit modelling of state occupancy in hidden markov models for automatic speech recognition. In: IEEE International Conference on Acoustics, Speech, and Signal Processing ICASSP, vol. 10, pp. 5\u20138 (1985)","DOI":"10.1109\/ICASSP.1985.1168477"},{"key":"5_CR40","unstructured":"Segala, R.: Modeling and verification of randomized distributed real-time systems. Ph.D. thesis, Cambridge, MA, USA (1995)"},{"key":"5_CR41","unstructured":"B. SIG. Bluetooth Specification, version 1.2 (2003). www.bluetooth.com"},{"key":"5_CR42","unstructured":"Song, L., Zhang, L., Godskesen, J.C., Hermanns, H., Eisentraut, C.: Late weak bisimulation for Markov automata. CoRR, abs\/1202.4116 (2012)"},{"key":"5_CR43","unstructured":"Stoelinga, M.: Alea jacta est: verification of probabilistic, real-time and parametric systems. Ph.D. thesis, Radboud University of Nijmegen (2002)"},{"key":"5_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/3-540-48778-6_4","volume-title":"Formal Methods for Real-Time and Probabilistic Systems","author":"M Stoelinga","year":"1999","unstructured":"Stoelinga, M., Vaandrager, F.: Root contention in IEEE 1394. In: Katoen, J.-P. (ed.) ARTS 1999. LNCS, vol. 1601, pp. 53\u201374. Springer, Heidelberg (1999). doi: 10.1007\/3-540-48778-6_4"},{"key":"5_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/978-3-642-38916-0_13","volume-title":"Tests and Proofs","author":"WGJ Stokkink","year":"2013","unstructured":"Stokkink, W.G.J., Timmer, M., Stoelinga, M.I.A.: Divergent quiescent transition systems. In: Veanes, M., Vigan\u00f2, L. (eds.) TAP 2013. LNCS, vol. 7942, pp. 214\u2013231. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-38916-0_13"},{"issue":"3","key":"5_CR46","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1145\/504729.504754","volume":"45","author":"S Thrun","year":"2002","unstructured":"Thrun, S.: Probabilistic robotics. Commun. ACM 45(3), 52\u201357 (2002)","journal-title":"Commun. ACM"},{"key":"5_CR47","unstructured":"Timmer, M., Brinksma, H., Stoelinga, M., Testing, M.-B., Software, I., Safety, S.: Specification and verification, Volume 30 of NATO Science for Peace and Security, pp. 1\u201332. IOS Press (2011)"},{"key":"5_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1007\/978-3-642-32940-1_26","volume-title":"CONCUR 2012 \u2013 Concurrency Theory","author":"M Timmer","year":"2012","unstructured":"Timmer, M., Katoen, J.-P., Pol, J., Stoelinga, M.I.A.: Efficient modelling and generation of Markov automata. In: Koutny, M., Ulidowski, I. (eds.) CONCUR 2012. LNCS, vol. 7454, pp. 364\u2013379. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-32940-1_26"},{"key":"5_CR49","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/978-3-642-40229-6_17","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"M Timmer","year":"2013","unstructured":"Timmer, M., van de Pol, J., Stoelinga, M.I.A.: Confluence reduction for Markov automata. In: Braberman, V., Fribourg, L. (eds.) FORMATS 2013. LNCS, vol. 8053, pp. 243\u2013257. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-40229-6_17"},{"issue":"3","key":"5_CR50","first-page":"103","volume":"17","author":"J Tretmans","year":"1996","unstructured":"Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Softw. - Concepts Tools 17(3), 103\u2013120 (1996)","journal-title":"Softw. - Concepts Tools"},{"key":"5_CR51","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/978-3-540-78917-8_2","volume-title":"Formal Methods and Testing","author":"M Veanes","year":"2008","unstructured":"Veanes, M., Campbell, C., Grieskamp, W., Schulte, W., Tillmann, N., Nachmanson, L.: Model-based testing of object-oriented reactive systems with spec explorer. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) Formal Methods and Testing. LNCS, vol. 4949, pp. 39\u201376. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-78917-8_2"},{"issue":"12","key":"5_CR52","doi-asserted-by":"crossref","first-page":"889","DOI":"10.1016\/S0950-5849(00)00122-1","volume":"42","author":"JA Whittaker","year":"2000","unstructured":"Whittaker, J.A., Rekab, K., Thomason, M.G.: A Markov chain model for predicting the reliability of multi-build software. Inf. Softw. Technol. 42(12), 889\u2013894 (2000)","journal-title":"Inf. Softw. Technol."}],"container-title":["Lecture Notes in Computer Science","Tests and Proofs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-61467-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,26]],"date-time":"2019-09-26T02:51:54Z","timestamp":1569466314000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-61467-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319614663","9783319614670"],"references-count":52,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-61467-0_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}