{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T09:44:50Z","timestamp":1743155090040,"version":"3.40.3"},"publisher-location":"Cham","reference-count":58,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319471655"},{"type":"electronic","value":"9783319471662"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-47166-2_20","type":"book-chapter","created":{"date-parts":[[2016,10,4]],"date-time":"2016-10-04T18:07:34Z","timestamp":1475604454000},"page":"282-302","source":"Crossref","is-referenced-by-count":3,"title":["Synthesis from a Practical Perspective"],"prefix":"10.1007","author":[{"given":"Sven","family":"J\u00f6rges","sequence":"first","affiliation":[]},{"given":"Anna-Lena","family":"Lamprecht","sequence":"additional","affiliation":[]},{"given":"Tiziana","family":"Margaria","sequence":"additional","affiliation":[]},{"given":"Stefan","family":"Naujokat","sequence":"additional","affiliation":[]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,10,5]]},"reference":[{"unstructured":"Dart programming language. https:\/\/www.dartlang.org\/ . Accessed 26 July 2016","key":"20_CR1"},{"unstructured":"One framework. - Angular 2. https:\/\/angular.io\/ . Accessed 05 Aug 2016","key":"20_CR2"},{"unstructured":"Standard ECMA-404. The JSON Data Interchange Format (2013). http:\/\/www.ecma-international.org\/publications\/standards\/Ecma-404.htm","key":"20_CR3"},{"key":"20_CR4","volume-title":"Compilers: Principles, Techniques, and Tools","author":"AV Aho","year":"2007","unstructured":"Aho, A.V., Lam, M.S., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools, 2nd edn. Addison Wesley, Boston (2007)","edition":"2"},{"key":"20_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-319-42111-7_12","volume-title":"Computational Science and Its Applications \u2013 ICCSA 2016","author":"S Al-Areqi","year":"2016","unstructured":"Al-Areqi, S., Lamprecht, A.-L., Margaria, T.: Constraints-driven automatic geospatial service composition: workflows for the analysis of sea-level rise impacts. In: Gervasi, O., et al. (eds.) ICCSA 2016. LNCS, vol. 9788, pp. 134\u2013150. Springer, Heidelberg (2016). doi: 10.1007\/978-3-319-42111-7_12"},{"doi-asserted-by":"crossref","unstructured":"Bessai, J., Dudenhefner, A., Duedder, B., Martens, M., Rehof, J.: Combinatory process synthesis. In: Proceedings of the 7th International Symposyum on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016) (2016)","key":"20_CR6","DOI":"10.1007\/978-3-319-47166-2_19"},{"issue":"5","key":"20_CR7","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1007\/s10009-013-0287-9","volume":"15","author":"R Bodik","year":"2013","unstructured":"Bodik, R., Jobstmann, B.: Algorithmic program synthesis: introduction. Int. J. Softw. Tools Technol. Transf. 15(5), 397\u2013411 (2013)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"doi-asserted-by":"crossref","unstructured":"Bo\u00dfelmann, S., Frohme, M., Kopetzki, D., Lybecait, M., Naujokat, S., Neubauer, J., Wirkner, D., Zweihoff, P., Steffen, B.: DIME: a programming-less modeling environment for web applications. In: Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016) (2016)","key":"20_CR8","DOI":"10.1007\/978-3-319-47169-3_60"},{"doi-asserted-by":"crossref","unstructured":"Braun, V., Margaria, T., Steffen, B., Yoo, H., Rychly, T.: Safe service customization. In: Intelligent Network Workshop, IN 1997, vol. 2, p. 4. IEEE, May 1997","key":"20_CR9","DOI":"10.1109\/INW.1997.601576"},{"issue":"4","key":"20_CR10","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1109\/MDT.2009.69","volume":"26","author":"P Coussy","year":"2009","unstructured":"Coussy, P., Gajski, D.D., Meredith, M., Takach, A.: An introduction to high-level synthesis. IEEE Des. Test Comput. 26(4), 8\u201317 (2009)","journal-title":"IEEE Des. Test Comput."},{"key":"20_CR11","volume-title":"High-Level Synthesis: from Algorithm to Digital Circuit","author":"P Coussy","year":"2010","unstructured":"Coussy, P., Morawiec, A.: High-Level Synthesis: from Algorithm to Digital Circuit. Springer, Heidelberg (2010)"},{"key":"20_CR12","doi-asserted-by":"crossref","first-page":"621","DOI":"10.1147\/sj.453.0621","volume":"45","author":"K Czarnecki","year":"2006","unstructured":"Czarnecki, K., Helsen, S.: Feature-based survey of model transformation approaches. IBM Syst. J. 45, 621\u2013645 (2006)","journal-title":"IBM Syst. J."},{"key":"20_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/978-3-642-54833-8_5","volume-title":"Programming Languages and Systems","author":"B D\u00fcdder","year":"2014","unstructured":"D\u00fcdder, B., Martens, M., Rehof, J.: Staged composition synthesis. In: Shao, Z. (ed.) ESOP 2014 (ETAPS). LNCS, vol. 8410, pp. 67\u201386. Springer, Heidelberg (2014)"},{"key":"20_CR14","volume-title":"Heuristic Search: Theory and Applications","author":"S Edelkamp","year":"2010","unstructured":"Edelkamp, S., Schroedl, S., Koenig, S.: Heuristic Search: Theory and Applications. Morgan Kaufmann Publishers Inc., San Francisco (2010)"},{"unstructured":"Fielding, R.T.: Architectural styles and the design of network-based software architectures. Ph.D. thesis, University of California, Irvine (2000)","key":"20_CR15"},{"issue":"8","key":"20_CR16","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/185087.185102","volume":"29","author":"B Freitag","year":"1994","unstructured":"Freitag, B., Margaria, T., Steffen, B.: A pragmatic approach to software synthesis. SIGPLAN Not. 29(8), 46\u201358 (1994). doi: 10.1145\/185087.185102","journal-title":"SIGPLAN Not."},{"unstructured":"Campbell, Grady H., J., Faulk, S.R., Weiss, D.M.: Introduction to synthesis. Technical report, Software Productivity Consortium, June 1990","key":"20_CR17"},{"issue":"3","key":"20_CR18","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel, D.: Statecharts: a visual formalism for complex systems. Sci. Comput. Program. 8(3), 231\u2013274 (1987)","journal-title":"Sci. Comput. Program."},{"doi-asserted-by":"crossref","unstructured":"Heineman, G., Bessai, J., Duedder, B., Rehof, J.: A long and winding road towards modular synthesis. In: Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016) (2016)","key":"20_CR19","DOI":"10.1007\/978-3-319-47166-2_21"},{"unstructured":"Internet Engineering Task Force (IETF): The JavaScript Object Notation (JSON) Data Interchange Format (2014). https:\/\/tools.ietf.org\/html\/rfc7159","key":"20_CR20"},{"key":"20_CR21","doi-asserted-by":"crossref","first-page":"1325","DOI":"10.1093\/bioinformatics\/btt113","volume":"29","author":"J Ison","year":"2013","unstructured":"Ison, J., Kala\u0161, M., Jonassen, I., Bolser, D., Uludag, M., McWilliam, H., Malone, J., Lopez, R., Pettifer, S., Rice, P.: EDAM: an ontology of bioinformatics operations, types of data and identifiers, topics and formats. Bioinformatics 29, 1325\u20131332 (2013)","journal-title":"Bioinformatics"},{"key":"20_CR22","volume-title":"Partial Evaluation and Automatic Program Generation","author":"ND Jones","year":"1993","unstructured":"Jones, N.D., Gomard, C.K., Sestoft, P.: Partial Evaluation and Automatic Program Generation. Prentice-Hall Inc., Upper Saddle River (1993)"},{"key":"20_CR23","series-title":"LNCS","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-36127-2","volume-title":"Construction and Evolution of Code Generators - A Model-Driven and Service-Oriented Approach","author":"S J\u00f6rges","year":"2013","unstructured":"J\u00f6rges, S.: Construction and Evolution of Code Generators - A Model-Driven and Service-Oriented Approach. LNCS, vol. 7747. Springer, Heidelberg (2013)"},{"issue":"5","key":"20_CR24","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1007\/s10009-012-0254-x","volume":"14","author":"S J\u00f6rges","year":"2012","unstructured":"J\u00f6rges, S., Lamprecht, A.L., Margaria, T., Schaefer, I., Steffen, B.: A constraint-based variability modeling framework. Int. J. Softw. Tools Technol. Transf. (STTT) 14(5), 511\u2013530 (2012)","journal-title":"Int. J. Softw. Tools Technol. Transf. (STTT)"},{"doi-asserted-by":"crossref","unstructured":"J\u00f6rges, S., Steffen, B.: Exploiting ecore\u2019s reflexivity for bootstrapping domain-specific code-generators. In: Proceedings of 35th Software Engineering Workshop (SEW 2012), pp. 72\u201381. IEEE (2012)","key":"20_CR25","DOI":"10.1109\/SEW.2012.14"},{"key":"20_CR26","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Computer Aided Verification CAV 1997","author":"C Gsottberger","year":"1997","unstructured":"Gsottberger, C., Margaria, T., Mendler, M., Gsottberger, S.: MOSEL: A flexible toolset for monadic second-order logic. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol. 1254, pp. 1\u201320. Springer, Heidelberg (1997)"},{"issue":"4","key":"20_CR27","doi-asserted-by":"crossref","first-page":"1117","DOI":"10.1145\/183432.183443","volume":"16","author":"J Knoop","year":"1994","unstructured":"Knoop, J., R\u00fcthing, O., Steffen, B.: Optimal code motion: theory and practice. ACM Trans. Program. Lang. Syst. 16(4), 1117\u20131155 (1994)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"20_CR28","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-45389-2","volume-title":"User-Level Workflow Design - A Bioinformatics Perspective","author":"AL Lamprecht","year":"2013","unstructured":"Lamprecht, A.L.: User-Level Workflow Design - A Bioinformatics Perspective, vol. 8311. Springer, Heidelberg (2013)"},{"doi-asserted-by":"crossref","unstructured":"Lamprecht, A.L., Naujokat, S., Margaria, T., Steffen, B.: Synthesis-based loose programming. In: Proceedings of the 7th International Conference on the Quality of Information and Communications Technology (QUATIC 2010), pp. 262\u2013267. IEEE, Porto, Portugal, September 2010","key":"20_CR29","DOI":"10.1109\/QUATIC.2010.53"},{"unstructured":"Lybecait, M.: Entwicklung und Implementierung eines Frameworks zur grafischen Modellierung von Modelltransformationen auf Basis von EMF-Metamodellen und Genesys. Diploma thesis, TU Dortmund (2012)","key":"20_CR30"},{"issue":"1","key":"20_CR31","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/357233.357237","volume":"6","author":"Z Manna","year":"1984","unstructured":"Manna, Z., Wolper, P.: Synthesis of communicating processes from temporal logic specifications. ACM Trans. Program. Lang. Syst. 6(1), 68\u201393 (1984)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"20_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-61042-1","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T Margaria","year":"1996","unstructured":"Margaria, T.: Fully automatic verification and error detection for parameterized iterative sequential circuits. In: Margaria, T., Steffen, B. (eds.) TACAS 1996. LNCS, vol. 1055. Springer, Heidelberg (1996)"},{"key":"20_CR33","first-page":"119","volume-title":"Semantic Web Services Challenge: Results from the First Year","author":"T Margaria","year":"2008","unstructured":"Margaria, T., Bakera, M., Kubczak, C., Naujokat, S., Steffen, B.: Automatic generation of the SWS-challenge mediator with jABC\/ABC. In: Petrie, C., Margaria, T., Zaremba, M., Lausen, H. (eds.) Semantic Web Services Challenge: Results from the First Year, pp. 119\u2013138. Springer, New York (2008)"},{"key":"20_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"392","DOI":"10.1007\/978-3-642-04930-9_25","volume-title":"The Semantic Web - ISWC 2009","author":"T Margaria","year":"2009","unstructured":"Margaria, T., Meyer, D., Kubczak, C., Isberner, M., Steffen, B.: Synthesizing semantic web service compositions with jMosel and Golog. In: Bernstein, A., et al. (eds.) ISWC 2009. LNCS, vol. 5823, pp. 392\u2013407. Springer, Heidelberg (2009)"},{"key":"20_CR35","volume-title":"Handbook of Research on Business Process Modeling","author":"T Margaria","year":"2009","unstructured":"Margaria, T., Steffen, B.: Business process modelling in the jABC: the one-thing-approach. In: Cardoso, J., van der Aalst, W. (eds.) Handbook of Research on Business Process Modeling. IGI Global, Hershey (2009)"},{"key":"20_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"450","DOI":"10.1007\/11596141_34","volume-title":"Service-Oriented Computing - ICSOC 2005","author":"T Margaria","year":"2005","unstructured":"Margaria, T., Steffen, B., Reitenspiess, M.: Service-oriented design: the roots. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 450\u2013464. Springer, Heidelberg (2005)"},{"key":"20_CR37","first-page":"1","volume":"30","author":"T Margaria","year":"2010","unstructured":"Margaria, T., Steffen, B., Topnik, C.: Second-order value numbering. Electron. Commun. EASST (ECEASST) 30, 1\u201315 (2010)","journal-title":"Electron. Commun. EASST (ECEASST)"},{"issue":"4","key":"20_CR38","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1109\/MDT.2009.83","volume":"26","author":"G Martin","year":"2009","unstructured":"Martin, G., Smith, G.: High-level synthesis: past, present, and future. IEEE Des. Test Comput. 26(4), 18\u201325 (2009)","journal-title":"IEEE Des. Test Comput."},{"key":"20_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1007\/978-3-642-28872-2_7","volume-title":"Fundamental Approaches to Software Engineering","author":"S Naujokat","year":"2012","unstructured":"Naujokat, S., Lamprecht, A.-L., Steffen, B.: Loose programming with PROPHETS. In: de Lara, J., Zisman, A. (eds.) Fundamental Approaches to Software Engineering. LNCS, vol. 7212, pp. 94\u201398. Springer, Heidelberg (2012)"},{"doi-asserted-by":"crossref","unstructured":"Naujokat, S., Lybecait, M., Kopetzki, D., Steffen, B.: CINCO: a simplicity-driven approach to full generation of domain-specific graphical modeling tools (2016, to appear)","key":"20_CR40","DOI":"10.1007\/s10009-017-0453-6"},{"doi-asserted-by":"crossref","unstructured":"Naujokat, S., Neubauer, J., Margaria, T., Steffen, B.: Meta-level reuse for mastering domain specialization. In: Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016) (2016)","key":"20_CR41","DOI":"10.1007\/978-3-319-47169-3_16"},{"key":"20_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1007\/978-3-662-45234-9_5","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","author":"J Neubauer","year":"2014","unstructured":"Neubauer, J., Frohme, M., Steffen, B., Margaria, T.: Prototype-driven development of web applications with DyWA. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part I. LNCS, vol. 8802, pp. 56\u201372. Springer, Heidelberg (2014)"},{"key":"20_CR43","doi-asserted-by":"crossref","first-page":"259","DOI":"10.4204\/EPTCS.129.16","volume":"129","author":"J Neubauer","year":"2013","unstructured":"Neubauer, J., Steffen, B., Margaria, T.: Higher-order process modeling: product-lining, variability modeling and beyond. Electron. Proc. Theoret. Comput. Sci. 129, 259\u2013283 (2013)","journal-title":"Electron. Proc. Theoret. Comput. Sci."},{"doi-asserted-by":"crossref","unstructured":"Parr, T.: Enforcing strict model-view separation in template engines. In: Proceedings of the 13th International Conference on World Wide Web (WWW 2004), pp. 224\u2013233. ACM, New York (2004)","key":"20_CR44","DOI":"10.1145\/988672.988703"},{"key":"20_CR45","series-title":"Semantic Web and Beyond","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-72496-6","volume-title":"Semantic Web Services Challenge: Results from the First Year","author":"C Petrie","year":"2009","unstructured":"Petrie, C., Margaria, T., Lausen, H., Zaremba, M.: Semantic Web Services Challenge: Results from the First Year. Semantic Web and Beyond, vol. 8. Springer, New York (2009)"},{"issue":"6","key":"20_CR46","first-page":"29","volume":"4","author":"J Rehof","year":"2014","unstructured":"Rehof, J., Vardi, M.Y.: Design and synthesis from components (Dagstuhl seminar 14232). Dagstuhl Rep. 4(6), 29\u201347 (2014)","journal-title":"Dagstuhl Rep."},{"issue":"6","key":"20_CR47","doi-asserted-by":"crossref","first-page":"276","DOI":"10.1016\/S0168-9525(00)02024-2","volume":"16","author":"P Rice","year":"2000","unstructured":"Rice, P., Longden, I., Bleasby, A.: EMBOSS: the European molecular biology open software suite. Trends Genet. 16(6), 276\u2013277 (2000)","journal-title":"Trends Genet."},{"doi-asserted-by":"crossref","unstructured":"R\u00fcthing, O., Knoop, J., Steffen, B.: Sparse code motion. In: Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POpPL 2000), pp. 170\u2013183. ACM (2000)","key":"20_CR48","DOI":"10.1145\/325694.325715"},{"key":"20_CR49","series-title":"The Addison-Wesley Object Technology Series","volume-title":"The Unified Modeling Language Reference Manual","author":"J Rumbaugh","year":"2004","unstructured":"Rumbaugh, J., Jacobsen, I., Booch, G.: The Unified Modeling Language Reference Manual. The Addison-Wesley Object Technology Series. Addison-Wesley Professional, Boston (2004)"},{"issue":"2","key":"20_CR50","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/0167-6423(93)90003-8","volume":"21","author":"B Steffen","year":"1993","unstructured":"Steffen, B.: Generating data flow analysis algorithms from modal specifications. Sci. Comput. Program. 21(2), 115\u2013139 (1993)","journal-title":"Sci. Comput. Program."},{"key":"20_CR51","series-title":"Lecture Notes in Computer Science","volume-title":"Static Analysis SAS 1996","author":"B Steffen","year":"1996","unstructured":"Steffen, B.: Property-oriented expansion. In: Cousot, R., Schmidt, D.A. (eds.) SAS 1996. LNCS, vol. 1145. Springer, Heidelberg (1996)"},{"unstructured":"Steffen, B.: Method for incremental synthesis of a discrete technical system (1998)","key":"20_CR52"},{"issue":"5","key":"20_CR53","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1007\/s10009-014-0336-z","volume":"16","author":"B Steffen","year":"2014","unstructured":"Steffen, B., Isberner, M., Naujokat, S., Margaria, T., Geske, M.: Property-driven benchmark generation synthesizing programs of realistic structure. Softw. Tools Technol. Transf. 16(5), 465\u2013479 (2014)","journal-title":"Softw. Tools Technol. Transf."},{"key":"20_CR54","first-page":"847","volume":"51","author":"B Steffen","year":"1997","unstructured":"Steffen, B., Margaria, T., Braun, V., Kalt, N.: Hierarchical service definition. Ann. Rev. Commun. ACM 51, 847\u2013856 (1997)","journal-title":"Ann. Rev. Commun. ACM"},{"issue":"1\u20132","key":"20_CR55","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/s100090050003","volume":"1","author":"B Steffen","year":"1997","unstructured":"Steffen, B., Margaria, T., Braun, V.: The electronic tool integration platform: concepts and design. Int. J. Softw. Tools Technol. Transf. (STTT) 1(1\u20132), 9\u201330 (1997)","journal-title":"Int. J. Softw. Tools Technol. Transf. (STTT)"},{"unstructured":"Steffen, B., Margaria, T., Freitag, B.: Module configuration by minimal model construction. Technical report, Fakult\u00e4t f\u00fcr Mathematik und Informatik, Universit\u00e4t Passau (1993)","key":"20_CR56"},{"key":"20_CR57","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1007\/978-3-540-70889-6_7","volume-title":"Hardware and Software, Verification and Testing","author":"B Steffen","year":"2007","unstructured":"Steffen, B., Margaria, T., Nagel, R., J\u00f6rges, S., Kubczak, C.: Model-driven development with the jABC. In: Bin, E., Ziv, A., Ur, S. (eds.) HVC 2006. LNCS, vol. 4383, pp. 92\u2013108. Springer, Heidelberg (2007)"},{"key":"20_CR58","volume-title":"EMF: Eclipse Modeling Framework","author":"D Steinberg","year":"2008","unstructured":"Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework, 2nd edn. Addison-Wesley, Boston (2008)","edition":"2"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47166-2_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,14]],"date-time":"2019-09-14T04:09:47Z","timestamp":1568434187000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47166-2_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471655","9783319471662"],"references-count":58,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47166-2_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}