{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T15:20:05Z","timestamp":1774365605252,"version":"3.50.1"},"reference-count":48,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2025,3,23]],"date-time":"2025-03-23T00:00:00Z","timestamp":1742688000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,3,23]],"date-time":"2025-03-23T00:00:00Z","timestamp":1742688000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100011688","name":"ECSEL Joint Undertaking","doi-asserted-by":"crossref","award":["101007350"],"award-info":[{"award-number":["101007350"]}],"id":[{"id":"10.13039\/501100011688","id-type":"DOI","asserted-by":"crossref"}]},{"name":"\u00c5bo Akademi University"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Autom Softw Eng"],"published-print":{"date-parts":[[2025,11]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>We present the OGAN algorithm for automatic requirement falsification of cyber-physical systems. System inputs and outputs are represented as piecewise constant signals over time while requirements are expressed in signal temporal logic. OGAN can find inputs that are counterexamples for the correctness of a system revealing design, software, or hardware defects before the system is taken into operation. The OGAN algorithm works by training a generative machine learning model to produce such counterexamples. It executes tests offline and does not require any previous model of the system under test. We evaluate OGAN using the ARCH-COMP benchmark problems, and the experimental results show that generative models are a viable method for requirement falsification. OGAN can be applied to new systems with little effort, has few requirements for the system under test, and exhibits state-of-the-art CPS falsification efficiency and effectiveness.<\/jats:p>","DOI":"10.1007\/s10515-025-00503-x","type":"journal-article","created":{"date-parts":[[2025,3,23]],"date-time":"2025-03-23T08:20:39Z","timestamp":1742718039000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Requirement falsification for cyber-physical systems using generative models"],"prefix":"10.1007","volume":"32","author":[{"given":"Jarkko","family":"Peltom\u00e4ki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ivan","family":"Porres","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,3,23]]},"reference":[{"key":"503_CR1","doi-asserted-by":"crossref","unstructured":"Annapureddy, Y., Liu, C., Fainekos, G., Sankaranarayanan, S.: S-TaLiRo: A tool for temporal logic falsification for hybrid systems. In: Abdulla, P.A., Leino, K.R.M. (eds.) international conference on tools and algorithms for the construction and analysis of systems. TACAS 2011, pp. 254\u2013257. Springer, (2011)","DOI":"10.1007\/978-3-642-19835-9_21"},{"issue":"3","key":"503_CR2","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1002\/stvr.1486","volume":"24","author":"A Arcuri","year":"2012","unstructured":"Arcuri, A., Briand, L.: A hitchhiker\u2019s guide to statistical tests for assessing randomized algorithms in software engineering. Journal of Software: Testing, Verification and Reliability 24(3), 219\u2013250 (2012). https:\/\/doi.org\/10.1002\/stvr.1486","journal-title":"Journal of Software: Testing, Verification and Reliability"},{"key":"503_CR3","doi-asserted-by":"publisher","unstructured":"Ayesh, M., et al.: Two simulink models with requirements for a simple controller of a pacemaker device. In: 9th international workshop on applied verification of continuous and hybrid systems. ARCH22. EPiC Series in Computing, vol. 90, pp. 18\u201325. EasyChair, (2022). https:\/\/doi.org\/10.29007\/f57w","DOI":"10.29007\/f57w"},{"key":"503_CR4","doi-asserted-by":"publisher","unstructured":"Bartocci, E., et al: Specification-based monitoring of cyber-physical systems: A survey on theory, tools and applications. In: Bartocci, E., Falcone, Y. (eds.) Lectures on Runtime Verification: introductory and advanced topics. lecture notes on computer science, vol. 10457, pp. 135\u2013175. Springer, (2018). https:\/\/doi.org\/10.1007\/978-3-319-75632-5_5","DOI":"10.1007\/978-3-319-75632-5_5"},{"key":"503_CR5","doi-asserted-by":"publisher","unstructured":"Bartocci, E., Falcone, Y. (eds.): Lectures on runtime verification - introductory and advanced topics. Lecture notes in computer science, vol. 10457. Springer, (2018). https:\/\/doi.org\/10.1007\/978-3-319-75632-5","DOI":"10.1007\/978-3-319-75632-5"},{"key":"503_CR6","doi-asserted-by":"publisher","unstructured":"Buckley, J.J., Eslami, E.: An Introduction to Fuzzy Logic and Fuzzy Sets. Springer (2002). https:\/\/doi.org\/10.1007\/978-3-7908-1799-7","DOI":"10.1007\/978-3-7908-1799-7"},{"key":"503_CR7","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1613\/jair.1.12716","volume":"72","author":"A Corso","year":"2021","unstructured":"Corso, A., Moss, R.J., Koren, M., Lee, R., Kochenderfer, M.J.: A survey of algorithms for black-box safety validation of cyber-physical systems. J. Artif. Intell. Res. 72, 377\u2013428 (2021). https:\/\/doi.org\/10.1613\/jair.1.12716","journal-title":"J. Artif. Intell. Res."},{"issue":"5s","key":"503_CR8","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1145\/3126521","volume":"16","author":"JV Deshmukh","year":"2017","unstructured":"Deshmukh, J.V., Horvat, M., Jin, X., Majumdar, R., Prabhu, V.S.: Testing cyber-physical systems through Bayesian optimization. ACM transactions on embedded computing systems 16(5s), 170\u2013118 (2017). https:\/\/doi.org\/10.1145\/3126521","journal-title":"ACM Transactions on Embedded Computing Systems"},{"key":"503_CR9","unstructured":"Dhariwal, P., Nichol, A.: Diffusion models beat GANs on image synthesis. CoRR abs\/2105.05233 (2021) arXiv:2105.05233 [cs.LG]"},{"key":"503_CR10","doi-asserted-by":"publisher","unstructured":"Donz\u00e9, A., Maler, O.: Robust satisfaction of temporal logic over real-valued signals. In: Chatterjee, K., Henzinger, T.A. (eds.) Formal modeling and analysis of timed systems. FORMATS 2010. Lecture notes in computer science, vol. 6246, pp. 92\u2013106. Springer, (2010). https:\/\/doi.org\/10.1007\/978-3-642-15297-9_9","DOI":"10.1007\/978-3-642-15297-9_9"},{"key":"503_CR11","doi-asserted-by":"publisher","unstructured":"Donz\u00e9, A.: Breach, a toolbox for verification and parameter synthesis of hybrid systems. In: Touili, T., Cook, B., Jackson, P. (eds.) international conference on computer-aided verification. CAV 2010. Lecture Notes in Computer Science, vol. 6174, pp. 167\u2013170. Springer, (2010).https:\/\/doi.org\/10.1007\/978-3-642-14295-6_17","DOI":"10.1007\/978-3-642-14295-6_17"},{"key":"503_CR12","doi-asserted-by":"publisher","unstructured":"Ernst, G., et al: ARCH-COMP 2021 category report: Falsification with validation of results. In: Frehse, G., Althoff, M. (eds.) 8th International workshop on applied verification of continuous and hybrid systems. ARCH21. EPiC Series in Computing, vol. 80, pp. 133\u2013152. EasyChair, (2021). https:\/\/doi.org\/10.29007\/xwl1","DOI":"10.29007\/xwl1"},{"key":"503_CR13","doi-asserted-by":"publisher","unstructured":"Ernst, G., et al: ARCH-COMP 2022 category report: Falsification with unbounded resources. In: Frehse, G., Althoff, M., Schoitsch, E., Guiochet, J. (eds.) 9th international workshop on applied verification of continuous and hybrid systems. ARCH22. EPiC Series in Computing, vol. 90, pp. 203\u2013221. EasyChair, (2022). https:\/\/doi.org\/10.29007\/fhnk","DOI":"10.29007\/fhnk"},{"key":"503_CR14","doi-asserted-by":"publisher","unstructured":"Ernst, G., Sedwards, S., Zhang, Z., Hasuo, I.: Falsification of hybrid systems using adaptive probabilistic search. ACM transactions on modeling and computer simulation 31(3) (2021) https:\/\/doi.org\/10.1145\/3459605","DOI":"10.1145\/3459605"},{"key":"503_CR15","doi-asserted-by":"publisher","unstructured":"Fainekos, G., Hoxha, B., Sankaranarayanan, S.: Robustness of specifications and its applications to falsification, parameter mining, and runtime monitoring with S-TaLiRo. In: Finkbeiner, B., Mariani, L. (eds.) Runtime Verification. RV 2019. Lecture Notes in Computer Science, vol. 11757, pp. 27\u201347. Springer, (2019). https:\/\/doi.org\/10.1007\/978-3-030-32079-9_3","DOI":"10.1007\/978-3-030-32079-9_3"},{"key":"503_CR16","doi-asserted-by":"publisher","first-page":"4262","DOI":"10.1016\/j.tcs.2009.06.021","volume":"410","author":"G Fainekos","year":"2009","unstructured":"Fainekos, G., Pappas, G.J.: Robustness of temporal logic specifications for continuous-time signals. Theoret. Comput. Sci. 410, 4262\u20134291 (2009). https:\/\/doi.org\/10.1016\/j.tcs.2009.06.021","journal-title":"Theoret. Comput. Sci."},{"key":"503_CR17","doi-asserted-by":"publisher","unstructured":"Formica, F., Fan, T., Menghi, C.: Search-based software testing driven by automatically generated and manually defined fitness functions. ACM Trans. Softw. Eng. Methodol. 33(2) (2023) https:\/\/doi.org\/10.1145\/3624745","DOI":"10.1145\/3624745"},{"issue":"1","key":"503_CR18","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1109\/LCSYS.2020.3001875","volume":"5","author":"Y Gilpin","year":"2021","unstructured":"Gilpin, Y., Kurtz, V., Lin, H.: A smooth robustness measure of signal temporal logic for symbolic control. IEEE Control Systems Letters 5(1), 241\u2013246 (2021). https:\/\/doi.org\/10.1109\/LCSYS.2020.3001875","journal-title":"IEEE Control Systems Letters"},{"key":"503_CR19","unstructured":"Glorot, X., Bengio, Y.: Understanding the difficulty of training deep feedforward neural networks. In: Teh, Y.W., Titterington, M. (eds.) Proceedings of the thirteenth international conference on artificial intelligence and statistics. proceedings of machine learning research, vol. 9, pp. 249\u2013256 (2010). https:\/\/proceedings.mlr.press\/v9\/glorot10a.html"},{"key":"503_CR20","unstructured":"Goodfellow, I.J., et al.: Generative adversarial networks. CoRR abs\/1406.2661 (2014) arXiv:1406.2661 [stat.ML]"},{"key":"503_CR21","unstructured":"Hansen, N.: The CMA evolution strategy: A tutorial. CoRR abs\/1604.00772 (2016) arXiv:1604.00772 [cs.LG]"},{"key":"503_CR22","doi-asserted-by":"publisher","unstructured":"He, K., Zhang, X., Ren, S., Sun, J.: Delving deep into rectifiers: surpassing human-level performance on ImageNet classification. In: IEEE international conference on computer vision. ICCV 2015, pp. 1026\u20131034 (2015). https:\/\/doi.org\/10.1109\/ICCV.2015.123","DOI":"10.1109\/ICCV.2015.123"},{"key":"503_CR23","doi-asserted-by":"publisher","unstructured":"Heidlauf, P., Collins, A., Bolender, M., Bak, S.: Verification challenges in F-16 ground collision avoidance and other automated maneuvers. In: Frehse, G. (ed.) 5th International workshop on applied verification of continuous and hybrid systems. ARCH18. EPiC Series in Computing, vol. 54, pp. 208\u2013217. EasyChair, (2018). https:\/\/doi.org\/10.29007\/91x9","DOI":"10.29007\/91x9"},{"key":"503_CR24","doi-asserted-by":"publisher","unstructured":"Hoxha, B., Abbas, H., Fainekos, G.: Benchmarks for temporal logic requirements for automotive systems. In: Frehse, G., Althoff, M. (eds.) ARCH14\u201315. 1st and 2nd international workshop on applied verification for continuous and hybrid systems, pp. 25\u201330. EasyChair, (2015). https:\/\/doi.org\/10.29007\/xwrs","DOI":"10.29007\/xwrs"},{"key":"503_CR25","doi-asserted-by":"crossref","unstructured":"Hu, J., Lygeros, J., Sastry, S.: Towards a theory of stochastic hybrid systems. In: Hybrid Systems: Computation and Control, pp. 160\u2013173. Springer, (2000)","DOI":"10.1007\/3-540-46430-1_16"},{"key":"503_CR26","doi-asserted-by":"publisher","unstructured":"Jin, X., Deshmukh, J.V., Kapinski, J., Ueda, K., Butts, K.: Powertrain control verification benchmark. In: 17th international conference on hybrid systems: computation and control. HSCC 2014, pp. 253\u2013262. Association for Computing Machinery, (2014). https:\/\/doi.org\/10.1145\/2562059.2562140","DOI":"10.1145\/2562059.2562140"},{"key":"503_CR27","doi-asserted-by":"publisher","DOI":"10.1002\/9781118032985","volume-title":"The statistical analysis of failure time data","author":"JD Kalbfleisch","year":"2002","unstructured":"Kalbfleisch, J.D., Prentice, R.L.: The Statistical Analysis of Failure Time Data. Wiley, (2002). Second Edition"},{"key":"503_CR28","doi-asserted-by":"publisher","unstructured":"Knight, J.C.: Safety critical systems: challenges and directions. In: Tracz, W., Young, M., Magee, J. (eds.) Proceedings of the 24th international conference on software engineering. ICSE 2002, pp. 547\u2013550. ACM, (2002). https:\/\/doi.org\/10.1145\/581339.581406","DOI":"10.1145\/581339.581406"},{"key":"503_CR29","unstructured":"Krishnamoorthy, S., Mashkaria, S.M., Grover, A.: Diffusion models for black-box optimization. CoRR abs\/2306.07180 (2023) arXiv:2306.07180 [cs.LG]"},{"key":"503_CR30","doi-asserted-by":"publisher","unstructured":"LeCun, Y.A., Bottou, L., Orr, G.B., M\u00fcller, K.: Efficient backprop. In: Neural Networks: Tricks of the Trade. Lecture Notes in Computer Science, vol. 7700, pp. 9\u201348. Springer, (2012). https:\/\/doi.org\/10.1007\/978-3-642-35289-8_3","DOI":"10.1007\/978-3-642-35289-8_3"},{"key":"503_CR31","doi-asserted-by":"publisher","unstructured":"Maler, O., Nickovic, D.: Monitoring temporal properties of continuous signals. In: Lakhneck, Y., Yovine, S. (eds.) Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems. FORMATS 2004. Lecture Notes in Computer Science, vol. 3253, pp. 152\u2013166. Springer, (2004). https:\/\/doi.org\/10.1007\/978-3-540-30206-3_12","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"503_CR32","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/s10898-020-00937-5","volume":"79","author":"L Mathesen","year":"2021","unstructured":"Mathesen, L., Pedrielli, G., Ng, S.H., Zabinsky, Z.B.: Stochastic optimization with adaptive restart: a framework for integrated local and global learning. J. Global Optim. 79, 87\u2013110 (2021). https:\/\/doi.org\/10.1007\/s10898-020-00937-5","journal-title":"J. Global Optim."},{"key":"503_CR33","doi-asserted-by":"publisher","unstructured":"Menghi, C., et al: ARCH-COMP 2023 category report: Falsification. In: Frehse, G., Althoff, M. (eds.) 10th International workshop on applied verification of continuous and hybrid systems. ARCH23. EPiC Series in Computing, vol. 96, pp. 151\u2013169 (2023). https:\/\/doi.org\/10.29007\/6nqs","DOI":"10.29007\/6nqs"},{"key":"503_CR34","doi-asserted-by":"publisher","unstructured":"Menghi, C., Nejati, S., Briand, L.C., Parache, Y.I.: Approximation-refinement testing of compute-intensive cyber-physical models: an approach based on system identification. In: Rothermel, G., Bae, D.- (eds.) ICSE \u201920: 42nd International Conference on Software Engineering, pp. 372\u2013384. ACM, (2020). https:\/\/doi.org\/10.1145\/3377811.3380370","DOI":"10.1145\/3377811.3380370"},{"issue":"4","key":"503_CR35","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1093\/comjnl\/7.4.308","volume":"7","author":"JA Nelder","year":"1965","unstructured":"Nelder, J.A., Mead, R.: A simplex method for function minimization. Comput. J. 7(4), 308\u2013313 (1965). https:\/\/doi.org\/10.1093\/comjnl\/7.4.308","journal-title":"Comput. J."},{"key":"503_CR36","doi-asserted-by":"publisher","unstructured":"Pedrielli, G., et al.: Part-X: A family of stochastic algorithms for search-based test generation with probabilistic guarantees. IEEE transactions on automation science and engineering, 1\u201322 https:\/\/doi.org\/10.1109\/TASE.2023.3297984","DOI":"10.1109\/TASE.2023.3297984"},{"key":"503_CR37","doi-asserted-by":"publisher","unstructured":"Peltom\u00e4ki, J., Porres, I.: Falsification of multiple requirements for cyber-physical systems using online generative adversarial networks and multi-armed bandits. In: IEEE international conference on software testing, verification and validation workshops. ICSTW 2021 (2021). https:\/\/doi.org\/10.1109\/ICSTW55395.2022.00018","DOI":"10.1109\/ICSTW55395.2022.00018"},{"key":"503_CR38","doi-asserted-by":"publisher","unstructured":"Peltom\u00e4ki, J., Spencer, F., Porres, I.: Wasserstein generative adversarial networks for online test generation for cyber physical systems. In: 15th IEEE\/ACM international workshop on search-based software testing. SBST 2022, pp. 1\u20135 (2022). https:\/\/doi.org\/10.1145\/3526072.3527522","DOI":"10.1145\/3526072.3527522"},{"key":"503_CR39","doi-asserted-by":"publisher","unstructured":"Peltom\u00e4ki, J., Spencer, F., Porres, I.: WOGAN at the SBST 2022 CPS tool competition. In: 15th IEEE\/ACM international workshop on search-based software testing. SBST 2022, pp. 53\u201354 (2022). https:\/\/doi.org\/10.1145\/3526072.3527535","DOI":"10.1145\/3526072.3527535"},{"key":"503_CR40","doi-asserted-by":"publisher","unstructured":"Porres, I., Rexha, H., Lafond, S.: Online GANs for automatic performance testing. In: IEEE international conference on software testing, verification and validation workshops. ICSTW 2021, pp. 95\u2013100 (2021). https:\/\/doi.org\/10.1109\/ICSTW52544.2021.00027","DOI":"10.1109\/ICSTW52544.2021.00027"},{"key":"503_CR41","doi-asserted-by":"publisher","unstructured":"Shi, J., Wan, J., Yan, H., Suo, H.: A survey of cyber-physical systems. In: 2011 international conference on wireless communications & signal processing. WCSP 2011, pp. 1\u20136. IEEE, (2011). https:\/\/doi.org\/10.1109\/WCSP.2011.6096958","DOI":"10.1109\/WCSP.2011.6096958"},{"key":"503_CR42","doi-asserted-by":"publisher","unstructured":"Shriver, D., Elbaum, S., Dwyer, M.B.: Reducing DNN properties to enable falsification with adversarial attacks. In: IEEE\/ACM 43rd International conference on software engineering. ICSE 2021, pp. 275\u2013287 (2021). https:\/\/doi.org\/10.1109\/ICSE43902.2021.00036","DOI":"10.1109\/ICSE43902.2021.00036"},{"key":"503_CR43","doi-asserted-by":"publisher","unstructured":"Thibeault, Q., Anderson, J., Chandratre, A., Pedrielli, G., Fainekos, G.: PSY-TaLiRo: A Python toolbox for search-based test generation for cyber-physical systems. In: Lafuente, A.L., Mavridou, A. (eds.) Formal Methods for Industrial Critical Systems. FMICS 2021. Lecture Notes in Computer Science, vol. 12863. Springer, (2021). https:\/\/doi.org\/10.1007\/978-3-030-85248-1_15","DOI":"10.1007\/978-3-030-85248-1_15"},{"key":"503_CR44","doi-asserted-by":"publisher","unstructured":"Varnai, P., Dimarogonas, D.V.: On robustness metrics for learning STL tasks. In: American control conference. ACC 2020, pp. 5394\u20135399 (2020). https:\/\/doi.org\/10.23919\/ACC45564.2020.9147692","DOI":"10.23919\/ACC45564.2020.9147692"},{"key":"503_CR45","doi-asserted-by":"publisher","unstructured":"Waga, M.: Falsification of cyber-physical systems with robustness-guided black-box checking. In: Proceedings of the 23rd international conference on hybrid systems: computation and control. ACM, (2020). https:\/\/doi.org\/10.1145\/3365365.3382193","DOI":"10.1145\/3365365.3382193"},{"key":"503_CR46","doi-asserted-by":"publisher","unstructured":"Winsten, J., Porres, I.: WOGAN at the SBFT 2023 CPS tool competition - Cyber-physical systems track. In: 16th IEEE\/ACM international workshop on search-based and fuzz testing. SBFT 2023, pp. 43\u201344 (2023). https:\/\/doi.org\/10.1109\/SBFT59156.2023.00009","DOI":"10.1109\/SBFT59156.2023.00009"},{"issue":"12","key":"503_CR47","doi-asserted-by":"publisher","first-page":"2823","DOI":"10.1109\/TSE.2020.2969178","volume":"47","author":"Y Yoriyuki","year":"2021","unstructured":"Yoriyuki, Y., Liu, S., Akazaki, T., Yihai, Y., Hao, J.: Falsification of cyber-physical systems using deep reinforcement learning. IEEE Trans. Softw. Eng. 47(12), 2823\u20132840 (2021). https:\/\/doi.org\/10.1109\/TSE.2020.2969178","journal-title":"IEEE Trans. Softw. Eng."},{"key":"503_CR48","doi-asserted-by":"publisher","unstructured":"Zhang, Z., et al: Effective hybrid system falsification using Monte Carlo tree search guided by QB-robustness. In: Silva, A., Leino, K.R.M. (eds.) Computer aided verification. CAV 2021. Lecture notes in computer science, vol. 12759, pp. 595\u2013618. Springer, (2021). https:\/\/doi.org\/10.1007\/978-3-030-81685-8_29","DOI":"10.1007\/978-3-030-81685-8_29"}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-025-00503-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10515-025-00503-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-025-00503-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T01:01:54Z","timestamp":1757552514000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10515-025-00503-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,3,23]]},"references-count":48,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2025,11]]}},"alternative-id":["503"],"URL":"https:\/\/doi.org\/10.1007\/s10515-025-00503-x","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"value":"0928-8910","type":"print"},{"value":"1573-7535","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,3,23]]},"assertion":[{"value":"29 August 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"28 February 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 March 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no Conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}],"article-number":"33"}}