{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,22]],"date-time":"2026-01-22T01:10:50Z","timestamp":1769044250279,"version":"3.49.0"},"reference-count":72,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2014,4,24]],"date-time":"2014-04-24T00:00:00Z","timestamp":1398297600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2016,5]]},"DOI":"10.1007\/s10270-014-0410-8","type":"journal-article","created":{"date-parts":[[2014,4,23]],"date-time":"2014-04-23T08:15:20Z","timestamp":1398240920000},"page":"427-451","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":15,"title":["Component-based verification using incremental design and invariants"],"prefix":"10.1007","volume":"15","author":[{"given":"Saddek","family":"Bensalem","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marius","family":"Bozga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Axel","family":"Legay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thanh-Hung","family":"Nguyen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joseph","family":"Sifakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rongjie","family":"Yan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,4,24]]},"reference":[{"key":"410_CR1","doi-asserted-by":"crossref","unstructured":"Abdellatif, T., Combaz, J., Sifakis J.: Model-based implementation of real-time applications. In: EMSOFT, pp. 229\u2013238, Scottsdale, AZ, USA (2010)","DOI":"10.1145\/1879021.1879052"},{"key":"410_CR2","doi-asserted-by":"crossref","unstructured":"Alfaro, L.D., Henzinger, T.A.: Interface theories for component-based design. In: EMSOFT, pp. 148\u2013165. Springer (2001)","DOI":"10.1007\/3-540-45449-7_11"},{"issue":"1","key":"410_CR3","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1023\/A:1008739929481","volume":"15","author":"R Alur","year":"1999","unstructured":"Alur, R., Henzinger, T.A.: Reactive modules. Form. Methods Syst. Des. 15(1), 7\u201348 (1999)","journal-title":"Form. Methods Syst. Des."},{"key":"410_CR4","doi-asserted-by":"crossref","unstructured":"Balarin, F., Lavagno, L., Passerone, C., Sangiovanni-Vincentelli, A., Sgroi, M., Watanabe Y.: Modeling and designing heterogeneous systems. In: Concurrency and Hardware Design, pp. 228\u2013273 (2002)","DOI":"10.1007\/3-540-36190-1_7"},{"key":"410_CR5","doi-asserted-by":"crossref","unstructured":"Ball, T., Cook, B., Levin, V., Rajamani, S.K.: SLAM and static driver verifier: Technology transfer of formal methods inside Microsoft. In: IFM, pp. 1\u201320. Springer (2004)","DOI":"10.1007\/978-3-540-24756-2_1"},{"key":"410_CR6","doi-asserted-by":"crossref","unstructured":"Ball, T., Rajamani, S.K.: The SLAM toolkit. In: CAV, pp. 260\u2013264 (2001)","DOI":"10.1007\/3-540-44585-4_25"},{"key":"410_CR7","doi-asserted-by":"crossref","unstructured":"Ball, T., Rajamani S.K.: The SLAM project: debugging system software via static analysis. In: POPL, pp. 1\u20133 (2002)","DOI":"10.1145\/503272.503274"},{"key":"410_CR8","doi-asserted-by":"crossref","unstructured":"Basu, A., Bensalem, S., Bozga, M., Bourgos, P., Maheshwari, M., Sifakis, J.: Component assemblies in the context of manycore. In: FMCO, pp. 314\u2013333 (2011)","DOI":"10.1007\/978-3-642-35887-6_17"},{"key":"410_CR9","doi-asserted-by":"crossref","unstructured":"Basu, A., Bensalem, S., Bozga, M., Caillaud, B., Delahaye, B., Legay, A.: Statistical abstraction and model-checking of large heterogeneous systems. In: FMOODS\/FORTE, vol. 6117, LNCS, pp. 32\u201346. Springer (2010)","DOI":"10.1007\/978-3-642-13464-7_4"},{"issue":"3","key":"410_CR10","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1109\/MS.2011.27","volume":"28","author":"A Basu","year":"2011","unstructured":"Basu, A., Bensalem, S., Bozga, M., Combaz, J., Jaber, M., Nguyen, T.-H., Sifakis, J.: Rigorous component-based system design using the bip framework. IEEE Softw. 28(3), 41\u201348 (2011)","journal-title":"IEEE Softw."},{"key":"410_CR11","doi-asserted-by":"crossref","unstructured":"Basu, A., Bensalem, S., Bozga, M., Delahaye, B., Legay, A., Sifakis, E.: Verification of an afdx infrastructure using simulations and probabilities. In: RV, pp. 330\u2013344. Springer (2010)","DOI":"10.1007\/978-3-642-16612-9_25"},{"key":"410_CR12","doi-asserted-by":"crossref","unstructured":"Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time components in BIP. In: SEFM, pp. 3\u201312. IEEE Computer Society (2006)","DOI":"10.1109\/SEFM.2006.27"},{"key":"410_CR13","doi-asserted-by":"crossref","unstructured":"Basu, A., Mounier, L., Poulhis, M., Pulou, J., Sifakis, J.: Using BIP for modeling and verification of networked systems\u2014a case study on tinyos-based networks. In: NCA, pp. 257\u2013260 (2007)","DOI":"10.1109\/NCA.2007.52"},{"key":"410_CR14","doi-asserted-by":"crossref","unstructured":"Bensalem, S., Bozga, M., Delahaye, B., Jegourel, C., Legay, A., Nouri, A.: Statistical model checking qos properties of systems with SBIP. In: ISOLA, pp. 327\u2013341 (2012)","DOI":"10.1007\/978-3-642-34026-0_25"},{"key":"410_CR15","unstructured":"Bensalem, S., Bozga, M., Legay, A., Nguyen, T.-H., Sifakis, J., Yan, R.: Incremental component-based construction and verification using invariants. In: FMCAD, pp. 257\u2013265 (2010)"},{"key":"410_CR16","doi-asserted-by":"crossref","unstructured":"Bensalem, S., Bozga, M., Nguyen, T.-H., Sifakis, J.: Compositional verification for component-based systems and application. In: ATVA, pp. 64\u201379. Springer (2008)","DOI":"10.1007\/978-3-540-88387-6_7"},{"key":"410_CR17","doi-asserted-by":"crossref","unstructured":"Bensalem, S., Bozga, M., Nguyen, T.-H., Sifakis J.: D-Finder: A tool for compositional deadlock detection and verification. In: CAV, pp. 614\u2013619. Springer (2009)","DOI":"10.1007\/978-3-642-02658-4_45"},{"key":"410_CR18","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1049\/iet-sen.2009.0011","volume":"4","author":"S Bensalem","year":"2010","unstructured":"Bensalem, S., Bozga, M., Nguyen, T.-H., Sifakis, J.: Compositional verification for component-based systems and application. IET Softw. 4, 179\u2013235 (2010)","journal-title":"IET Softw."},{"key":"410_CR19","unstructured":"Bensalem, S., de Silva, L., Gallien, M., Ingrand, F., Yan, R.: \u201cRock solid\u201d software: a verifiable and correct by construction controller for rover and spacecraft functional layers. In: ISAIRAS, pp. 859\u2013866 (2010)"},{"key":"410_CR20","doi-asserted-by":"crossref","unstructured":"Bensalem, S., de Silva, L., Griesmayer, A., Ingrand, F., Legay, A., Yan, R.: A formal approach for incremental construction with an application to autonomous robotic systems. In: SC, vol. 6708, pp. 116\u2013132. Springer (2011)","DOI":"10.1007\/978-3-642-22045-6_8"},{"issue":"1","key":"410_CR21","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/MRA.2008.931631","volume":"16","author":"S Bensalem","year":"2009","unstructured":"Bensalem, S., Gallien, M., Ingrand, F., Kahloul, I., Nguyen, T.-H.: Toward a more dependable software architecture for autonomous robots. IEEE Robot. Autom. Mag. 16(1), 1\u201311 (2009)","journal-title":"IEEE Robot. Autom. Mag."},{"key":"410_CR22","doi-asserted-by":"crossref","unstructured":"Bensalem, S., Griesmayer, A., Legay, A., Nguyen, T.-H., Peled, D.: Efficient deadlock detection for concurrent systems. In: MEMOCODE, pp. 119\u2013129 (2011)","DOI":"10.1109\/MEMCOD.2011.5970518"},{"key":"410_CR23","doi-asserted-by":"crossref","unstructured":"Bensalem, S., Legay, A., Nguyen, T.-H., Sifakis, J., Yan, R.: Incremental invariant generation for compositional design. In: TASE, pp. 157\u2013167 (2010)","DOI":"10.1109\/TASE.2010.23"},{"issue":"5\u20136","key":"410_CR24","doi-asserted-by":"crossref","first-page":"505","DOI":"10.1007\/s10009-007-0044-z","volume":"9","author":"D Beyer","year":"2007","unstructured":"Beyer, D., Henzinger, T.A., Jhala, R., Majumdar, R.: The software model checker BLAST: applications to software engineering. STTT 9(5\u20136), 505\u2013525 (2007)","journal-title":"STTT"},{"key":"410_CR25","unstructured":"BIP. http:\/\/www-verimag.imag.fr\/BIP,196.html?"},{"key":"410_CR26","doi-asserted-by":"crossref","unstructured":"Bliudze, S., Sifakis, J.: The algeba of connectors\u2014structuring interaction in BIP. IEEE Trans. Comput. 57, 1315\u20131330 (October 2008)","DOI":"10.1109\/TC.2008.26"},{"key":"410_CR27","unstructured":"Bluespec. http:\/\/www.bluespec.com\/"},{"key":"410_CR28","doi-asserted-by":"crossref","unstructured":"Bozga, M., Jaber, M., Maris, N., Sifakis, J.: Modeling dynamic architectures using Dy-BIP. In: SC, pp. 1\u201316. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-30564-1_1"},{"key":"410_CR29","doi-asserted-by":"crossref","unstructured":"Bozga, M., Sfyrla, V., Sifakis, J.: Modeling synchronous Systems in BIP. In: EMSOFT, pp. 77\u201386. ACM, October (2009)","DOI":"10.1145\/1629335.1629347"},{"key":"410_CR30","volume-title":"Parallel Program Design: A Foundation","author":"KM Chandy","year":"1988","unstructured":"Chandy, K.M.: Parallel Program Design: A Foundation. Addison-Wesley Longman, Boston (1988)"},{"key":"410_CR31","unstructured":"Chaudron, M.R.V., Eskenazi, E.M., Fioukov, A.V., Hammer D.K.: A framework for formal component-based software architecting. In: SAVCBS, pp. 73\u201380 (2001)"},{"key":"410_CR32","doi-asserted-by":"crossref","unstructured":"Cheng, A., Esparza, J., Palsberg, J.: Complexity results for 1-safe nets. In: FSTTCS, pp. 326\u2013337. Springer, London, UK (1993)","DOI":"10.7146\/dpb.v22i455.6773"},{"key":"410_CR33","doi-asserted-by":"crossref","first-page":"410","DOI":"10.1007\/s100090050046","volume":"2","author":"A Cimatti","year":"2000","unstructured":"Cimatti, A., Clarke, E., Giunchiglia, F., Roveri, M.: NuSMV: a new symbolic model checker. Int. J. Softw. Tools Technol. Transf. 2, 410\u2013425 (2000)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"410_CR34","volume-title":"Model Checking","author":"EM Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)"},{"issue":"2","key":"410_CR35","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1348250.1348253","volume":"17","author":"JM Cobleigh","year":"2008","unstructured":"Cobleigh, J.M., Avrunin, G.S., Clarke, L.A.: Breaking up is hard to do: an evaluation of automated assume-guarantee reasoning. ACM Trans. Softw. Eng. Methodol. 17(2), 1\u201352 (2008)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"410_CR36","doi-asserted-by":"crossref","unstructured":"Cobleigh, J.M., Giannakopoulou, D., Pasareanu, C.S.: Learning assumptions for compositional verification. In: TACAS, pp. 331\u2013346 (2003)","DOI":"10.1007\/3-540-36577-X_24"},{"key":"410_CR37","unstructured":"Combest. http:\/\/www.combest.eu\/home\/"},{"key":"410_CR38","doi-asserted-by":"crossref","unstructured":"Conway, C.L., Namjoshi, K.S., Dams, D., Edwards, S.A.: Incremental algorithms for inter-procedural analysis of safety properties. In: CAV, pp. 449\u2013461. Springer (2005)","DOI":"10.1007\/11513988_45"},{"key":"410_CR39","doi-asserted-by":"crossref","unstructured":"Cook, B., Podelski, A., Rybalchenko, A.: Terminator: beyond safety. In: CAV, pp. 415\u2013418 (2006)","DOI":"10.1007\/11817963_37"},{"key":"410_CR40","doi-asserted-by":"crossref","unstructured":"David, A., Larsen, K.G., Legay, A., Nyman, U., Wasowski, A.: Timed i\/o automata: A complete specification theory for real-time systems. In: HSCC, pp. 91\u2013100. ACM, New York, NY, USA (2010)","DOI":"10.1145\/1755952.1755967"},{"key":"410_CR41","doi-asserted-by":"crossref","unstructured":"David, A., Larsen, K.G., Legay, A., Nyman, U., Wasowski, A.: Timed I\/O automata: a complete specification theory for real-time systems. In: HSCC, pp. 91\u2013100 (2010)","DOI":"10.1145\/1755952.1755967"},{"key":"410_CR42","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., da Silva, L.D., Faella, M., Legay, A., Roy, P., Sorea, M.: Sociable interfaces. In: FroCos, pp. 81\u2013105 (2005)","DOI":"10.1007\/11559306_5"},{"key":"410_CR43","volume-title":"Concurrency Verification: Introduction to Compositional and Noncompositional Methods","author":"W-P Roever de","year":"2000","unstructured":"de Roever, W.-P., de Boer, F., Hannemann, U., Hooman, J., Lakhnech, Y., Poel, M., Zwiers, J.: Concurrency Verification: Introduction to Compositional and Noncompositional Methods. Cambridge University Press, Cambridge (2000)"},{"key":"410_CR44","doi-asserted-by":"crossref","unstructured":"Dutertre, B., de Moura, L.: A fast linear-arithmetic solver for DPLL(T). In: CAV, pp. 81\u201394. Springer (2006)","DOI":"10.1007\/11817963_11"},{"key":"410_CR45","doi-asserted-by":"crossref","unstructured":"Farzan, A., Chen, Y.-F., Clarke, E. M., Tsay, Y.-K. , Wang, B.-Y.: Extending automated compositional verification to the full class of omega-regular languages. In: TACAS, pp. 2\u201317. Springer (2008)","DOI":"10.1007\/978-3-540-78800-3_2"},{"key":"410_CR46","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Qadeer, S.: Thread-modular model checking. In: SPIN, pp. 213\u2013224. Springer (2003)","DOI":"10.1007\/3-540-44829-2_14"},{"key":"410_CR47","doi-asserted-by":"crossref","unstructured":"Fleury, S., Herrb, M., Chatila, R.: GenoM: a tool for the specification and the implementation of operating modules in a distributed robot architecture. In: IROS, pp. 842\u2013848 (1997)","DOI":"10.1109\/IROS.1997.655108"},{"key":"410_CR48","doi-asserted-by":"crossref","unstructured":"Fritzson, P., Engelson, V.: Modelica a unified object-oriented language for system modeling and simulation. In: ECOOP, pp. 67\u201390 (1998)","DOI":"10.1007\/BFb0054087"},{"key":"410_CR49","doi-asserted-by":"crossref","unstructured":"Giannakopoulou, D., P\u0103s\u0103reanu, C. S., Barringer, H.: Assumption generation for software component verification. In: ASE, pp. 3\u201312. IEEE Computer Society (2002)","DOI":"10.1109\/ASE.2002.1114984"},{"key":"410_CR50","doi-asserted-by":"crossref","unstructured":"G\u00f6\u00dfler, G., Sifakis,. J.: Priority systems. In: FMCO, pp. 314\u2013329 (2003)","DOI":"10.1007\/978-3-540-30101-1_15"},{"key":"410_CR51","doi-asserted-by":"crossref","unstructured":"Gupta, A., Popeea, C., Rybalchenko, A.: Predicate abstraction and refinement for verifying multi-threaded programs. In POPL, pages 331\u2013344. ACM, 2011","DOI":"10.1145\/1926385.1926424"},{"issue":"2","key":"410_CR52","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1109\/MS.1985.230351","volume":"2","author":"D Heimbold","year":"1985","unstructured":"Heimbold, D., Luckham, D.: Debugging Ada tasking programs. IEEE Softw. 2(2), 47\u201357 (1985)","journal-title":"IEEE Softw."},{"key":"410_CR53","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A., Hottelier, T., Kov\u00e1cs, L., Rybalchenko, A.: Aligators for arrays. In: LPAR, TACAS, pp. 348\u2013356 (2010)","DOI":"10.1007\/978-3-642-16242-8_25"},{"key":"410_CR54","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A., Jhala, R., Majumdar, R., Sutre, G.: Lazy abstraction. In: POPL, pp. 58\u201370. ACM (2002)","DOI":"10.1145\/565816.503279"},{"key":"410_CR55","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A., Qadeer, S., Rajamani, S. K.: You assume, we guarantee: methodology and case studies. In: CAV, pp. 440\u2013451. Springer (1998)","DOI":"10.1007\/BFb0028765"},{"key":"410_CR56","doi-asserted-by":"crossref","unstructured":"Hermenegildo, M., Puebla, G., Marriott, K., Stuckey, P.J.: Incremental analysis of constraint logic programs. ACM Trans. Program. Lang. Syst. 22(2), 187\u2013223 (Mar. 2000)","DOI":"10.1145\/349214.349216"},{"key":"410_CR57","unstructured":"Jones, C.B.: Specification and design of (parallel) programs. In: IFIP Congress, pp. 321\u2013332 (1983)"},{"key":"410_CR58","unstructured":"Khendek, F., Bochmann, G.V.: Incremental construction approach for distributed system specifications. In: Proceedings of the International Symposium on Formal Description, Techniques, pp. 26\u201329 (1993)"},{"key":"410_CR59","doi-asserted-by":"crossref","unstructured":"Larsen, K.G.: Modal specifications. In: Automatic Verification Methods for Finite State Systems, pp. 232\u2013246 (1989)","DOI":"10.1007\/3-540-52148-8_19"},{"key":"410_CR60","doi-asserted-by":"crossref","unstructured":"Lau, K.-K., Ng, K.-Y., Rana,T., Tran, C.M.: Incremental construction of component-based systems. In: CBSE, pp. 41\u201350. ACM, New York, NY, USA (2012)","DOI":"10.1145\/2304736.2304746"},{"key":"410_CR61","first-page":"219","volume":"2","author":"NA Lynch","year":"1989","unstructured":"Lynch, N.A., Tuttle, M.R.: An introduction to input\/output automata. CWI Q. 2, 219\u2013246 (1989)","journal-title":"CWI Q."},{"key":"410_CR62","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4222-2","volume-title":"Temporal Verification of Reactive Systems: Safety","author":"Z Manna","year":"1995","unstructured":"Manna, Z., Pnueli, A.: Temporal Verification of Reactive Systems: Safety. Springer, New York (1995)"},{"key":"410_CR63","doi-asserted-by":"crossref","unstructured":"Moura, L.D., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: TACAS, pp. 337\u2013340. Springer (2008)","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"410_CR64","unstructured":"Nguyen, T.-H.: Constructive Verification of Component-Based Systems. PhD Thesis, Institut National Polytechnique de Grenoble (2010)"},{"key":"410_CR65","unstructured":"Patil, S.S.: Limitations and Capabilities of Dijkstra\u2019s Semaphore Primitives for Coordination among Processes. Cambridge, MA: MIT, Project MAC, Computation Structures Group Memo 57, Feb (1971)"},{"key":"410_CR66","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/978-3-642-82453-1_5","volume":"F13","author":"A Pnueli","year":"1985","unstructured":"Pnueli, A.: In transition from global to modular temporal reasoning about programs. Log. Models Concurr. Syst. F13, 123\u2013144 (1985)","journal-title":"Log. Models Concurr. Syst."},{"key":"410_CR67","doi-asserted-by":"crossref","unstructured":"Popeea, C., Rybalchenko, A.: Compositional termination proofs for multi-threaded programs. In: TACAS, pp. 237\u2013251 (2012)","DOI":"10.1007\/978-3-642-28756-5_17"},{"key":"410_CR68","doi-asserted-by":"crossref","unstructured":"Queille, J.-P., Sifakis, J.: Specification and verification of concurrent systems in CESAR. In: ICALP, pp. 337\u2013351. Springer (1982)","DOI":"10.1007\/3-540-11494-7_22"},{"key":"410_CR69","unstructured":"Somenzi, F.: CUDD: CU decision diagram package"},{"key":"410_CR70","unstructured":"Team, O.: The Omega, library (1996)"},{"key":"410_CR71","doi-asserted-by":"crossref","unstructured":"Thiele, L., Bacivarov, I., Haid, W., Huang, K.: Mapping Applications to Tiled Multiprocessor Embedded Systems. In: ACSD, pp. 29\u201340. IEEE Computer Society (2007)","DOI":"10.1109\/ACSD.2007.53"},{"key":"410_CR72","doi-asserted-by":"crossref","unstructured":"Tripakis, S., Stergiou, C., Shaver, C., Lee, E.A.: A modular formal semantics for ptolemy. Math. Struct. Comput. Sci. 23, 834\u2013881 (2013)","DOI":"10.1017\/S0960129512000278"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-014-0410-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-014-0410-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-014-0410-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T14:34:28Z","timestamp":1746196468000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-014-0410-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,4,24]]},"references-count":72,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2016,5]]}},"alternative-id":["410"],"URL":"https:\/\/doi.org\/10.1007\/s10270-014-0410-8","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,4,24]]}}}