{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,29]],"date-time":"2026-06-29T17:17:07Z","timestamp":1782753427174,"version":"3.54.5"},"reference-count":56,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2023,3,21]],"date-time":"2023-03-21T00:00:00Z","timestamp":1679356800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,3,21]],"date-time":"2023-03-21T00:00:00Z","timestamp":1679356800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","award":["Cyber Assured Systems Engineering Program"],"award-info":[{"award-number":["Cyber Assured Systems Engineering Program"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2023,10]]},"DOI":"10.1007\/s10270-023-01096-3","type":"journal-article","created":{"date-parts":[[2023,3,27]],"date-time":"2023-03-27T02:43:22Z","timestamp":1679885002000},"page":"1451-1471","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Synthesizing verified components for cyber assured systems engineering"],"prefix":"10.1007","volume":"22","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2264-2958","authenticated-orcid":false,"given":"Eric","family":"Mercer","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Konrad","family":"Slind","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Isaac","family":"Amundson","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Darren","family":"Cofer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Junaid","family":"Babar","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"David","family":"Hardin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2023,3,21]]},"reference":[{"key":"1096_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-020-09559-8","volume-title":"Proof-producing Synthesis of CakeML from Monadic HOL Functions","author":"O Abrahamsson","year":"2020","unstructured":"Abrahamsson, O., Ho, S., Kanabar, H., Kumar, R., Myreen, M.O., Norrish, M., Tan, Y.K.: Proof-producing Synthesis of CakeML from Monadic HOL Functions. Springer, Berlin (2020)"},{"key":"1096_CR2","unstructured":"AGREE specification example. https:\/\/github.com\/ericmercer\/agree-specification-example"},{"key":"1096_CR3","doi-asserted-by":"crossref","unstructured":"Amundson, I., Cofer, D.: Resolute assurance arguments for cyber assured systems engineering. In: Design Automation for Cyber-Physical Systems and Internet of Things (DESTION 2021) (2021)","DOI":"10.1145\/3445034.3460507"},{"key":"1096_CR4","unstructured":"An SMT-based infinite-state model checker for safety properties in Lustre. https:\/\/github.com\/loonwerks\/jkind"},{"key":"1096_CR5","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-319-17524-9_7","volume-title":"NASA Formal Methods","author":"J Backes","year":"2015","unstructured":"Backes, J., Cofer, D., Miller, S., Whalen, M.: Requirements analysis of a quad-redundant flight control system. In: Havelund, K., Holzmann, G., Joshi, R. (eds.) NASA Formal Methods, pp. 82\u201396. Springer, Berlin (2015)"},{"issue":"7","key":"1096_CR6","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1145\/1379023.1375674","volume":"43","author":"D Biernacki","year":"2008","unstructured":"Biernacki, D., Cola\u00e7o, J.-L., Hamon, G., Pouzet, M.: Clock-directed modular code generation for synchronous data-flow languages. SIGPLAN Not. 43(7), 121\u2013130 (2008)","journal-title":"SIGPLAN Not."},{"issue":"6","key":"1096_CR7","doi-asserted-by":"publisher","first-page":"586","DOI":"10.1145\/3140587.3062358","volume":"52","author":"T Bourke","year":"2017","unstructured":"Bourke, T., Brun, L., Dagand, P.-\u00c9., Leroy, X., Pouzet, M., Rieg, L.: A formally verified compiler for Lustre. SIGPLAN Not. 52(6), 586\u2013601 (2017)","journal-title":"SIGPLAN Not."},{"key":"1096_CR8","unstructured":"Collins Aerospace Common Avionics Architecture System. https:\/\/www.collinsaerospace.com\/what-we-do\/Helicopters\/Rotary-Wing\/Common-Avionics-Architecture-System"},{"key":"1096_CR9","unstructured":"CakeML. https:\/\/cakeml.org\/"},{"key":"1096_CR10","unstructured":"Cyber Assured Systems Engineering (CASE) TA6 platform assessment CAmkES applications. https:\/\/github.com\/loonwerks\/case-ta6-platform-assessment-camkes-apps"},{"key":"1096_CR11","unstructured":"CASE: Cyber Assured Systems Engineering. http:\/\/loonwerks.com\/projects\/case"},{"key":"1096_CR12","doi-asserted-by":"crossref","unstructured":"Caspi, P.,\u00a0Pilaud, D.,\u00a0Halbwachs, N., Plaice, J.A.: LUSTRE: a declarative language for real-time programming. In: Proceedings of the 14th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, POPL \u201987, pp. 178\u2013188. Association for Computing Machinery, New York, NY, USA (1987)","DOI":"10.1145\/41625.41641"},{"key":"1096_CR13","first-page":"2","volume":"15","author":"D Cofer","year":"2022","unstructured":"Cofer, D., Amundson, I., Babar, J., Hardin, D., Slind, K., Alexander, P., Hatcliff, J., Klein, G.R., Lewis, C., Mercer, E., Shackleton, J.: Cyberassured systems engineering at scale. IEEE Secur. Priv. 15, 2\u201314 (2022)","journal-title":"IEEE Secur. Priv."},{"key":"1096_CR14","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/978-3-642-28891-3_13","volume-title":"NASA Formal Methods","author":"D Cofer","year":"2012","unstructured":"Cofer, D., Gacek, A., Miller, S., Whalen, M., LaValley, B., Sha, L.: Compositional verification of architectural models. In: Goodloe, A.E., Person, S. (eds.) NASA Formal Methods, pp. 126\u2013140. Springer, Berlin, Heidelberg (2012)"},{"key":"1096_CR15","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/978-3-642-28891-3_13","volume-title":"NASA Formal Methods","author":"D Cofer","year":"2012","unstructured":"Cofer, D., Gacek, A., Miller, S., Whalen, M.W., LaValley, B., Sha, L.: Compositional verification of architectural models. In: Goodloe, A.E., Person, S. (eds.) NASA Formal Methods, pp. 126\u2013140. Springer, Berlin, Heidelberg (2012)"},{"key":"1096_CR16","doi-asserted-by":"crossref","unstructured":"Cola\u00e7o, J.-L., Pagano, B., Pouzet, M.: A conservative extension of synchronous data-flow with state machines. In: Proceedings of the 5th ACM International Conference on Embedded Software, EMSOFT \u201905, pp. 173\u201318. Association for Computing Machinery, New York (2005)","DOI":"10.1145\/1086228.1086261"},{"key":"1096_CR17","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-540-45212-6_10","volume-title":"Embedded Software","author":"J-L Cola\u00e7o","year":"2003","unstructured":"Cola\u00e7o, J.-L., Pouzet, M.: Clocks as first class abstract types. In: Alur, R., Lee, I. (eds.) Embedded Software, pp. 134\u2013155. Springer, Berlin, Heidelberg (2003)"},{"key":"1096_CR18","unstructured":"Compcert. https:\/\/compcert.org"},{"key":"1096_CR19","unstructured":"Cyber Assured Systems Engineering (CASE) experimental platform models. https:\/\/github.com\/loonwerks\/case-ta6-experimental-platform-models"},{"key":"1096_CR20","unstructured":"Dafny. https:\/\/dafny.org"},{"key":"1096_CR21","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/978-3-642-28869-2_11","volume-title":"Programming Languages and Systems","author":"C Dimoulas","year":"2012","unstructured":"Dimoulas, C., Tobin-Hochstadt, S., Felleisen, M.: Complete monitors for behavioral contracts. In: Seidl, H. (ed.) Programming Languages and Systems, pp. 214\u2013233. Springer, Berlin, Heidelberg (2012)"},{"issue":"9","key":"1096_CR22","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1145\/583852.581484","volume":"37","author":"RB Findler","year":"2002","unstructured":"Findler, R.B., Felleisen, M.: Contracts for higher-order functions. SIGPLAN Not. 37(9), 48\u201359 (2002)","journal-title":"SIGPLAN Not."},{"key":"1096_CR23","unstructured":"Formal methods workbench. https:\/\/github.com\/loonwerks\/formal-methods-workbench"},{"key":"1096_CR24","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/978-3-319-17524-9_13","volume-title":"NASA Formal Methods","author":"A Gacek","year":"2015","unstructured":"Gacek, A., Katis, A., Whalen, M., Backes, J., Cofer, D.: Towards realizability checking of contracts using theories. In: Havelund, K., Holzmann, G., Joshi, R. (eds.) NASA Formal Methods, pp. 173\u2013187. Springer, Berlin (2015)"},{"issue":"5","key":"1096_CR25","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1145\/2345141.2248426","volume":"47","author":"L G\u00e9rard","year":"2012","unstructured":"G\u00e9rard, L., Guatto, A., Pasteur, C., Pouzet, M.: A modular memory optimization for synchronous data-flow languages: application to arrays in a Lustre compiler. SIGPLAN Not. 47(5), 51\u201360 (2012)","journal-title":"SIGPLAN Not."},{"key":"1096_CR26","doi-asserted-by":"crossref","unstructured":"G\u00f3mez-Londo\u00f1o, A., Pohjola, J.\u00c5., Syeda, H.T., Myreen, M.O., Tan, Y.K.: Do you have space for dessert? A verified space cost semantics for CakeML programs. In: Proceedings of the 2020 ACM Object-Oriented Programming, Systems, Languages, and Applications Conference (OOPSLA), pp. 4:204:1\u2013204:29 (2020)","DOI":"10.1145\/3428272"},{"issue":"9","key":"1096_CR27","doi-asserted-by":"publisher","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"N Halbwachs","year":"1991","unstructured":"Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous data flow programming language LUSTRE. Proc. IEEE 79(9), 1305\u20131320 (1991)","journal-title":"Proc. IEEE"},{"key":"1096_CR28","doi-asserted-by":"crossref","unstructured":"Hardin, D.S., Slind, K.L.: Formal synthesis of filter components for use in security-enhancing architectural transformations. In: Proceedings of the Seventh Workshop on Language-Theoretic Security, 42nd IEEE Symposium and Workshops on Security and Privacy (LangSec 2021) (2021)","DOI":"10.1109\/SPW53761.2021.00024"},{"key":"1096_CR29","doi-asserted-by":"crossref","unstructured":"Hardin, D.S., Slind, K.L., Pohjola, J.\u00c5., Sproul, M.: Synthesis of verified architectural components for autonomy hosted on a verified microkernel. In: Proceedings of the 53rd Hawaii International Conference on System Sciences, pp. 6365\u20136374 (2020)","DOI":"10.24251\/HICSS.2020.779"},{"key":"1096_CR30","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/978-3-030-89159-6_18","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","author":"J Hatcliff","year":"2021","unstructured":"Hatcliff, J., Belt, J., Robby, C.T.: HAMR: an AADL multi-platform code generation toolset. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation, pp. 274\u2013295. Springer, Berlin (2021)"},{"issue":"2","key":"1096_CR31","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/s10009-003-0117-6","volume":"6","author":"K Havelund","year":"2004","unstructured":"Havelund, K., Ro\u015fu, G.: Efficient monitoring of safety properties. Int. J. Softw. Tools Technol. Transf. 6(2), 158\u2013173 (2004)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"1096_CR32","unstructured":"Kansas State University. Sireum HAMR: High Assurance Modeling and Rapid Engineering for Embedded Systems (2021)"},{"key":"1096_CR33","unstructured":"Katis, A., Fedyukovich, G., Gacek, A., Backes, J., Gurfinkel, A., Whalen, M.: Synthesis from assume-guarantee contracts using skolemized proofs of realizability (2017)"},{"key":"1096_CR34","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/978-3-319-89963-3_10","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A Katis","year":"2018","unstructured":"Katis, A., Fedyukovich, G., Guo, H., Gacek, A., Backes, J., Gurfinkel, A., Whalen, M.: Validity-guided synthesis of reactive systems from assume-guarantee contracts. In: Beyer, D., Huisman, M. (eds.) Tools and Algorithms for the Construction and Analysis of Systems, pp. 176\u2013193. Springer, Berlin (2018)"},{"key":"1096_CR35","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/978-3-319-29613-5_7","volume-title":"Verified Software: Theories, Tools, and Experiments","author":"A Katis","year":"2016","unstructured":"Katis, A., Gacek, A., Whalen, M.: Machine-checked proofs for realizability checking algorithms. In: Gurfinkel, A., Seshia, S.A. (eds.) Verified Software: Theories, Tools, and Experiments, pp. 110\u2013123. Springer, Berlin (2016)"},{"key":"1096_CR36","doi-asserted-by":"crossref","unstructured":"Kingston, D.B., Rasmussen, S., Humphrey, L.R.: Automated UAV tasks for search and surveillance. In: 2016 IEEE Conference on Control Applications, CCA 2016, Buenos Aires, Argentina, September 19\u201322, 2016, pp. 1\u20138. IEEE (2016)","DOI":"10.1109\/CCA.2016.7587813"},{"issue":"1","key":"1096_CR37","doi-asserted-by":"publisher","first-page":"2:1","DOI":"10.1145\/2560537","volume":"32","author":"G Klein","year":"2014","unstructured":"Klein, G., Andronick, J., Elphinstone, K., Murray, T.C., Sewell, T., Kolanski, R., Heiser, G.: Comprehensive formal verification of an OS microkernel. ACM Trans. Comput. Syst. 32(1), 2:1-2:70 (2014)","journal-title":"ACM Trans. Comput. Syst."},{"issue":"10","key":"1096_CR38","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/3230627","volume":"61","author":"G Klein","year":"2018","unstructured":"Klein, G., Andronick, J., Fernandez, M., Kuz, I., Murray, T.C., Heiser, G.: Formally verified software in the real world. Commun. ACM 61(10), 68\u201377 (2018)","journal-title":"Commun. ACM"},{"key":"1096_CR39","doi-asserted-by":"crossref","unstructured":"Klein, G., Elphinstone, K., Heiser, G., Andronick, J., Cock, D., Derrin, P., Elkaduwe, D., Engelhardt, K., Kolanski, R., Norrish, M., Sewell, T., Tuch, H., Winwood, S.: seL4: formal verification of an OS kernel. In: Matthews, J.N., Anderson, T.E. (eds.) Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, SOSP 2009, Big Sky, Montana, USA, October 11\u201314, 2009, pp. 207\u2013220. ACM (2009)","DOI":"10.1145\/1629575.1629596"},{"key":"1096_CR40","doi-asserted-by":"crossref","unstructured":"Klein, G., Elphinstone, K., Heiser, G., Andronick, J., Cock, D., Derrin, P., Elkaduwe, D., Engelhardt, K., Kolanski, R., Norrish, M., Sewell, T., Tuch, H., Winwood, S.: seL4: formal verification of an OS kernel. In: Matthews, J.N., Anderson, T.E. (eds.) Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, SOSP 2009, Big Sky, Montana, USA, October 11\u201314, pp. 207\u2013220. ACM (2009)","DOI":"10.1145\/1629575.1629596"},{"key":"1096_CR41","unstructured":"Laddaga, R., Robertson, P., Shrobe, H.E., Cerys, D., Manghwani, P., Meijer, P.: Deriving cyber-security requirements for cyber physical systems. CoRR (2019). arXiv:1901.01867"},{"issue":"1","key":"1096_CR42","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1093\/jigpal\/8.1.55","volume":"8","author":"O Lichtenstein","year":"2000","unstructured":"Lichtenstein, O., Pneuli, A.: Propositional temporal logics: decidability and completeness. Logic J. IGPL 8(1), 55\u201385 (2000)","journal-title":"Logic J. IGPL"},{"issue":"5","key":"1096_CR43","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1145\/62139.62141","volume":"23","author":"B Liskov","year":"1987","unstructured":"Liskov, B.: Keynote address\u2014data abstraction and hierarchy. SIGPLAN Not. 23(5), 17\u201334 (1987)","journal-title":"SIGPLAN Not."},{"key":"1096_CR44","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/978-3-031-06773-0_19","volume-title":"NASA Formal Methods","author":"C Liu","year":"2022","unstructured":"Liu, C., Babar, J., Amundson, I., Hoech, K., Cofer, D., Mercer, E.: Assume-guarantee reasoning with scheduled components. In: Deshmukh, J.V., Havelund, K., Perez, I. (eds.) NASA Formal Methods, pp. 355\u2013372. Springer, Cham (2022)"},{"issue":"3","key":"1096_CR45","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1145\/2658982.2527272","volume":"33","author":"A Murugesan","year":"2013","unstructured":"Murugesan, A., Whalen, M., Rayadurgam, S., Heimdahl, M.: Compositional verification of a medical device system. Ada Lett. 33(3), 51\u201364 (2013)","journal-title":"Ada Lett."},{"key":"1096_CR46","doi-asserted-by":"crossref","unstructured":"Myreen, M.O., Owens, S.: Proof-producing synthesis of ML from higher-order logic. In: International Conference on Functional Programming (ICFP), pp. 115\u2013126. ACM Press (2012)","DOI":"10.1145\/2398856.2364545"},{"issue":"2","key":"1096_CR47","first-page":"511","volume":"POPL","author":"PC Nguyundefinedn","year":"2017","unstructured":"Nguyundefinedn, P.C., Gilray, T., Tobin-Hochstadt, S., Van Horn, D.: Soft contract verification for higher-order stateful programs. Proc. ACM Program. Lang. POPL(2), 511\u20135130 (2017)","journal-title":"Proc. ACM Program. Lang."},{"key":"1096_CR48","unstructured":"Patten, T., Mitchell, D., Call, C.: Cyber attack grammars for risk-cost analysis. In: Proceedings of the 15th International Conference on Cyber Warfare and Security. Norfolk, VA (2020)"},{"key":"1096_CR49","doi-asserted-by":"crossref","unstructured":"Petz, A., Alexander, P.: An infrastructure for faithful execution of remote attestation protocols. In: Proceedings of the 13th NASA Formal Methods Symposium (NFM 2021) (2021)","DOI":"10.1007\/978-3-030-76384-8_17"},{"issue":"4","key":"1096_CR50","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/s11334-013-0223-x","volume":"9","author":"L Pike","year":"2013","unstructured":"Pike, L., Wegmann, N., Niller, S., Goodloe, A.: Copilot: Monitoring embedded systems. Innov. Syst. Softw. Eng. 9(4), 235\u2013255 (2013)","journal-title":"Innov. Syst. Softw. Eng."},{"key":"1096_CR51","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/978-3-030-89159-6_17","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","author":"H Robby","year":"2021","unstructured":"Robby, H., Hatcliff, J.: Slang: the Sireum programming language. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation, pp. 253\u2013273. Springer, Berlin (2021)"},{"key":"1096_CR52","doi-asserted-by":"crossref","unstructured":"Saadatmand, M., Leveque, T.: Modeling security aspects in distributed real-time component-based embedded systems. In: 2012 Ninth International Conference on Information Technology\u2014New Generations, pp. 437\u2013444 (2012)","DOI":"10.1109\/ITNG.2012.103"},{"key":"1096_CR53","unstructured":"SAE: Architecture Analysis and Design Language (AADL). Technical Report AS-5506, SAE International (2009)"},{"key":"1096_CR54","unstructured":"Slind, K.L.: Specifying message formats with contiguity types. In: Proceedings of the Twelfth International Conference on Interactive Theorem Proving (ITP 2021) (2021)"},{"key":"1096_CR55","doi-asserted-by":"crossref","unstructured":"Thiagarajan, H., Hatcliff, J., Robby, H.: Awas: AADL information flow and error propagation analysis framework. In: Innovations in Systems and Software Engineering (ISSE) (2021)","DOI":"10.1007\/978-3-030-59155-7_23"},{"issue":"2","key":"1096_CR56","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1109\/MS.2012.173","volume":"30","author":"M Whalen","year":"2013","unstructured":"Whalen, M., Gacek, A., Cofer, D., Murugesan, A., Heimdahl, M., Rayadurgam, S.: Your \u201cwhat\u2019\u2019 is my \u201chow\u2019\u2019: iteration and hierarchy in system design. IEEE Softw. 30(2), 54\u201360 (2013)","journal-title":"IEEE Softw."}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-023-01096-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-023-01096-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-023-01096-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,25]],"date-time":"2023-09-25T02:08:39Z","timestamp":1695607719000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-023-01096-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,3,21]]},"references-count":56,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2023,10]]}},"alternative-id":["1096"],"URL":"https:\/\/doi.org\/10.1007\/s10270-023-01096-3","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,3,21]]},"assertion":[{"value":"29 March 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 December 2022","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 January 2023","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 March 2023","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}