{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,7]],"date-time":"2026-05-07T02:44:22Z","timestamp":1778121862595,"version":"3.51.4"},"reference-count":63,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2024,1,29]],"date-time":"2024-01-29T00:00:00Z","timestamp":1706486400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,29]],"date-time":"2024-01-29T00:00:00Z","timestamp":1706486400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["2038960"],"award-info":[{"award-number":["2038960"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Real-Time Syst"],"published-print":{"date-parts":[[2024,3]]},"DOI":"10.1007\/s11241-023-09417-x","type":"journal-article","created":{"date-parts":[[2024,1,29]],"date-time":"2024-01-29T16:02:16Z","timestamp":1706544136000},"page":"108-149","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Statistical verification of autonomous system controllers under timing uncertainties"],"prefix":"10.1007","volume":"60","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1371-2803","authenticated-orcid":false,"given":"Bineet","family":"Ghosh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Clara","family":"Hobbs","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shengjie","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Don","family":"Smith","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James H.","family":"Anderson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P. S.","family":"Thiagarajan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benjamin","family":"Berg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Parasara Sridhar","family":"Duggirala","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samarjit","family":"Chakraborty","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,1,29]]},"reference":[{"key":"9417_CR1","volume-title":"Computer-controlled systems","author":"KJ \u00c5str\u00f6m","year":"1997","unstructured":"\u00c5str\u00f6m KJ, Wittenmark B (1997) Computer-controlled systems, 3rd edn. Prentice-Hall Inc, New York","edition":"3"},{"issue":"4","key":"9417_CR2","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1145\/2560033","volume":"13","author":"P Axer","year":"2014","unstructured":"Axer P et al (2014) Building timing predictable embedded systems. ACM Trans Embed Comput Syst 13(4):82\u201318237","journal-title":"ACM Trans Embed Comput Syst"},{"key":"9417_CR3","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/s00453-010-9446-5","volume":"62","author":"O Bernardi","year":"2010","unstructured":"Bernardi O, Gim\u00e9nez O (2010) A linear algorithm for the random sampling from regular languages. Algorithmica 62:130\u2013145","journal-title":"Algorithmica"},{"key":"9417_CR4","doi-asserted-by":"crossref","unstructured":"Blind R, Allg\u00f6wer F (2015) Towards networked control systems with guaranteed stability: using weakly hard real-time constraints to model the loss process. In: 54th IEEE conference on decision and control (CDC)","DOI":"10.1109\/CDC.2015.7403405"},{"key":"9417_CR5","doi-asserted-by":"crossref","unstructured":"Bozhko S et al (2021) Monte carlo response-time analysis. In: IEEE real-time systems symposium (RTSS)","DOI":"10.1109\/RTSS52674.2021.00039"},{"key":"9417_CR9","doi-asserted-by":"crossref","unstructured":"Chakraborty S, Erlebach T, Thiele L (2001) On the complexity of scheduling conditional real-time code. In: 7th international workshop on algorithms and data structures (WADS)","DOI":"10.1007\/3-540-44634-6_5"},{"issue":"4","key":"9417_CR8","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1109\/MDAT.2016.2573598","volume":"33","author":"S Chakraborty","year":"2016","unstructured":"Chakraborty S, Faruque MAA, Chang W, Goswami D, Wolf M, Zhu Q (2016) Automotive cyber-physical systems: a tutorial introduction. IEEE Des Test 33(4):92\u2013108","journal-title":"IEEE Des Test"},{"key":"9417_CR6","unstructured":"Chakraborty S et al (2018) Embedded systems and software challenges in electric vehicles. In: Design, automation & test in europe conference & exhibition (DATE)"},{"key":"9417_CR7","doi-asserted-by":"crossref","unstructured":"Chakraborty S et al (2019) Cross-layer interactions in CPS for performance and certification. In: Design, automation & test in europe (DATE)","DOI":"10.23919\/DATE.2019.8715153"},{"issue":"4","key":"9417_CR10","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1561\/1000000045","volume":"10","author":"W Chang","year":"2016","unstructured":"Chang W, Chakraborty S (2016) Resource-aware automotive control systems design: a cyber-physical systems approach. Found Trends Electron Des Autom 10(4):249\u2013369","journal-title":"Found Trends Electron Des Autom"},{"issue":"4","key":"9417_CR11","doi-asserted-by":"publisher","first-page":"586","DOI":"10.1109\/TCAD.2016.2613933","volume":"36","author":"W Chang","year":"2017","unstructured":"Chang W, Goswami D, Chakraborty S, Ju L, Xue CJ, Andalam S (2017) Memory-aware embedded control systems design. IEEE Trans CAD Integr Circ Syst 36(4):586\u2013599","journal-title":"IEEE Trans CAD Integr Circ Syst"},{"issue":"4","key":"9417_CR12","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/3121427","volume":"2","author":"W Chang","year":"2018","unstructured":"Chang W, Goswami D, Chakraborty S, Hamann A (2018a) OS-aware automotive controller design using non-uniform sampling. ACM Trans Cyber-Phys Syst 2(4):26\u201312622","journal-title":"ACM Trans Cyber-Phys Syst"},{"key":"9417_CR13","doi-asserted-by":"crossref","unstructured":"Chang W, Roy D, Hu XS, Chakraborty S (2018b) Cache-aware task scheduling for maximizing control performance. In: Design, automation & test in europe (DATE)","DOI":"10.23919\/DATE.2018.8342098"},{"issue":"2","key":"9417_CR14","doi-asserted-by":"publisher","first-page":"163","DOI":"10.3102\/10769986009002163","volume":"9","author":"JJ Chen","year":"1984","unstructured":"Chen JJ, Novick MR (1984) Bayesian analysis for binomial models with generalized beta prior distributions. J Educ Stat 9(2):163\u2013175","journal-title":"J Educ Stat"},{"key":"9417_CR15","doi-asserted-by":"crossref","unstructured":"Clarke EM, Grumberg O, Jha S, Lu Y, Veith H (2000) Counterexample-guided abstraction refinement. In: Emerson EA, Sistla AP (eds) 12th international conference on computer aided verification (CAV)","DOI":"10.1007\/10722167_15"},{"issue":"7","key":"9417_CR16","doi-asserted-by":"publisher","first-page":"1575","DOI":"10.1109\/TAC.2009.2015543","volume":"54","author":"M Cloosterman","year":"2009","unstructured":"Cloosterman M et al (2009) Stability of networked control systems with uncertain time-varying delays. IEEE Trans Autom Control 54(7):1575\u20131580","journal-title":"IEEE Trans Autom Control"},{"issue":"7","key":"9417_CR17","doi-asserted-by":"publisher","first-page":"1011","DOI":"10.1109\/JPROC.2020.2991262","volume":"108","author":"L Dennis","year":"2020","unstructured":"Dennis L, Fisher M (2020) Verifiable self-aware agent-based autonomous systems. Proc IEEE 108(7):1011\u20131026","journal-title":"Proc IEEE"},{"key":"9417_CR18","doi-asserted-by":"crossref","unstructured":"Diwakaran R et al (2017) Analyzing neighborhoods of falsifying traces in cyber-physical systems. In: 8th international conference on cyber-physical systems (ICCPS)","DOI":"10.1145\/3055004.3055029"},{"issue":"5","key":"9417_CR19","doi-asserted-by":"publisher","first-page":"917","DOI":"10.1016\/j.automatica.2012.02.029","volume":"48","author":"M Donkers","year":"2012","unstructured":"Donkers M et al (2012) Stability analysis of stochastic networked control systems. Automatica 48(5):917\u2013925","journal-title":"Automatica"},{"key":"9417_CR20","doi-asserted-by":"crossref","unstructured":"Duggirala PS, Viswanathan M (2016) Parsimonious, simulation based verification of linear systems. In: Chaudhuri S, Farzan A (eds) Computer aided verification (CAV)","DOI":"10.1007\/978-3-319-41528-4_26"},{"issue":"9","key":"9417_CR21","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1145\/2494558","volume":"56","author":"M Fisher","year":"2013","unstructured":"Fisher M et al (2013) Verifying autonomous systems. Commun ACM 56(9):84\u201393","journal-title":"Commun ACM"},{"issue":"1","key":"9417_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(94)90226-7","volume":"132","author":"P Flajolet","year":"1994","unstructured":"Flajolet P et al (1994) A calculus for the random generation of labelled combinatorial structures. Theoret Comput Sci 132(1):1\u201335","journal-title":"Theoret Comput Sci"},{"issue":"4","key":"9417_CR23","doi-asserted-by":"publisher","first-page":"1261","DOI":"10.1016\/j.jsc.2003.08.007","volume":"38","author":"K Fukuda","year":"2004","unstructured":"Fukuda K (2004) From the zonotope construction to the Minkowski addition of convex polytopes. J Symbolic Comput 38(4):1261\u20131272","journal-title":"J Symbolic Comput"},{"key":"9417_CR24","volume-title":"Signals and linear systems","author":"RA Gabel","year":"1991","unstructured":"Gabel RA, Roberts RA (1991) Signals and linear systems. Wiley, New YOrk"},{"key":"9417_CR25","doi-asserted-by":"crossref","unstructured":"Georgakos G et al (2013) Reliability challenges for electric vehicles: from devices to architecture and systems software. In: 50th annual design automation conference (DAC)","DOI":"10.1145\/2463209.2488855"},{"issue":"2","key":"9417_CR27","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1214\/10-STS338","volume":"26","author":"M Ghosh","year":"2011","unstructured":"Ghosh M (2011) Objective priors: an introduction for frequentists. Stat Sci 26(2):187\u2013202","journal-title":"Stat Sci"},{"key":"9417_CR26","doi-asserted-by":"crossref","unstructured":"Ghosh B et al (2022)Statistical hypothesis testing of controller implementations under timing uncertainties. In: 2022 IEEE 28th international conference on embedded and real-time computing systems and applications (RTCSA)","DOI":"10.1109\/RTCSA55878.2022.00008"},{"key":"9417_CR28","doi-asserted-by":"crossref","unstructured":"Girard A (2005) Reachability of uncertain linear systems using zonotopes. In: Proceedings of the 8th international conference on hybrid systems: computation and control (HSCC)","DOI":"10.1007\/978-3-540-31954-2_19"},{"key":"9417_CR30","doi-asserted-by":"crossref","unstructured":"Goswami D, Schneider R, Chakraborty S (2011) Re-engineering cyber-physical control applications for hybrid communication protocols. In: Design, automation and test in europe (DATE)","DOI":"10.1109\/DATE.2011.5763148"},{"issue":"6","key":"9417_CR29","doi-asserted-by":"publisher","first-page":"2337","DOI":"10.1109\/TCST.2014.2301795","volume":"22","author":"D Goswami","year":"2014","unstructured":"Goswami D, Schneider R, Chakraborty S (2014) Relaxing signal delay constraints in distributed embedded controllers. IEEE Trans Control Syst Technol 22(6):2337\u20132345","journal-title":"IEEE Trans Control Syst Technol"},{"key":"9417_CR31","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-0019-9","volume-title":"Convex polytopes","author":"B Gr\u00fcnbaum","year":"2003","unstructured":"Gr\u00fcnbaum B, Kaibel V, Klee V, Ziegler GM (2003) Convex polytopes. Springer, New York"},{"key":"9417_CR32","doi-asserted-by":"crossref","unstructured":"Hagemann W (2014) Reachability analysis of hybrid systems using symbolic orthogonal projections. In: Biere A, Bloem R (eds) Computer Aided Verification (CAV)","DOI":"10.1007\/978-3-319-08867-9_27"},{"issue":"2","key":"9417_CR33","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/j.arcontrol.2014.09.001","volume":"38","author":"J Hespanha","year":"2014","unstructured":"Hespanha J (2014) Modeling and analysis of networked control systems using stochastic hybrid systems. Annu Rev Control 38(2):155\u2013170","journal-title":"Annu Rev Control"},{"key":"9417_CR34","doi-asserted-by":"publisher","DOI":"10.23943\/9781400890088","volume-title":"Linear systems theory","author":"JP Hespanha","year":"2018","unstructured":"Hespanha JP (2018) Linear systems theory, 2nd edn. Princeton University Press, Princeton","edition":"2"},{"key":"9417_CR35","unstructured":"Horssen E (2016) Performance analysis and controller improvement for linear systems with (m, k)-firm data losses. In: 15th european control conference (ECC)"},{"key":"9417_CR36","doi-asserted-by":"crossref","unstructured":"Ju L et al (2009) Context-sensitive timing analysis of esterel programs. In: 46th design automation conference (DAC)","DOI":"10.1145\/1629911.1630132"},{"issue":"430","key":"9417_CR37","doi-asserted-by":"publisher","first-page":"773","DOI":"10.1080\/01621459.1995.10476572","volume":"90","author":"R Kass","year":"1995","unstructured":"Kass R, Raftery A (1995) Bayes factors. J Am Stat Assoc 90(430):773\u2013795","journal-title":"J Am Stat Assoc"},{"key":"9417_CR38","doi-asserted-by":"crossref","unstructured":"Kauer M et al (2014) Fault-tolerant control synthesis and verification of distributed embedded systems. In: Design, automation & test in europe conference (DATE)","DOI":"10.7873\/DATE2014.069"},{"key":"9417_CR39","first-page":"478","volume-title":"Statistical model checking","author":"A Legay","year":"2019","unstructured":"Legay A, Lukina A, Traonouez LM, Yang J, Smolka SA, Grosu R (2019) Statistical model checking. Springer, Cham, pp 478\u2013504"},{"key":"9417_CR40","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0017-8","volume-title":"Switching in systems and control","author":"D Liberzon","year":"2003","unstructured":"Liberzon D (2003) Switching in systems and control. Springer, New York"},{"key":"9417_CR41","doi-asserted-by":"crossref","unstructured":"Linsenmayer S, Allg\u00f6wer F (2017) Stabilization of networked control systems with weakly hard real-time dropout description. In: 56th IEEE annual conference on decision and control (CDC)","DOI":"10.1109\/CDC.2017.8264364"},{"key":"9417_CR42","doi-asserted-by":"crossref","unstructured":"Lukasiewycz M et al (2013) System architecture and software design for electric vehicles. In: 50th design automation conference (DAC)","DOI":"10.1145\/2463209.2488852"},{"key":"9417_CR43","unstructured":"Maggio M et al (2020)Control-system stability under consecutive deadline misses constraints. In: 32nd euromicro conference on real-time systems (ECRTS)"},{"key":"9417_CR44","doi-asserted-by":"crossref","unstructured":"Mahfouzi R et al (2018) Stability-aware integrated routing and scheduling for control applications in Ethernet networks. In: Design, automation & test in europe conference (DATE)","DOI":"10.23919\/DATE.2018.8342096"},{"key":"9417_CR45","doi-asserted-by":"crossref","unstructured":"Masrur A et al (2010) VM-based real-time services for automotive control applications. In: 16th IEEE international conference on embedded and real-time computing systems and applications (RTCSA)","DOI":"10.1109\/RTCSA.2010.38"},{"key":"9417_CR46","doi-asserted-by":"crossref","unstructured":"Mundhenk P et al (2015) Security analysis of automotive architectures using probabilistic model checking. In: 52nd annual design automation conference (DAC)","DOI":"10.1145\/2744769.2744906"},{"key":"9417_CR47","first-page":"77","volume":"123","author":"M O\u2019Kelly","year":"2020","unstructured":"O\u2019Kelly M, Zheng H, Karthik D, Mangharam R (2020) F1tenth: an open-source evaluation environment for continuous control and reinforcement learning. Proc Mach Learn Res 123:77\u201389","journal-title":"Proc Mach Learn Res"},{"key":"9417_CR48","unstructured":"Pazzaglia P et al (2018) Beyond the weakly hard model: measuring the performance cost of deadline misses. In: 30th Euromicro conference on real-time systems (ECRTS)"},{"key":"9417_CR49","unstructured":"Pazzaglia P et al (2019) DMAC: deadline-miss-aware control. In: 31st Euromicro conference on real-time systems (ECRTS)"},{"key":"9417_CR50","doi-asserted-by":"crossref","unstructured":"Roy D et al (2016) Multi-objective co-optimization of FlexRay-based distributed control systems. In: 22nd IEEE real-time and embedded technology and applications symposium (RTAS)","DOI":"10.1109\/RTAS.2016.7461344"},{"issue":"1","key":"9417_CR51","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1109\/JPROC.2017.2779456","volume":"106","author":"D Roy","year":"2018","unstructured":"Roy D, Zhang L, Chang W, Mitter SK, Chakraborty S (2018) Semantics-preserving cosynthesis of cyber-physical systems. Proc IEEE 106(1):171\u2013200","journal-title":"Proc IEEE"},{"key":"9417_CR52","doi-asserted-by":"crossref","unstructured":"Sadraddini S, Tedrake R (2019) Linear encodings for polytope containment problems. In: 2019 IEEE 58th conference on decision and control (CDC)","DOI":"10.1109\/CDC40024.2019.9029363"},{"key":"9417_CR53","doi-asserted-by":"crossref","unstructured":"Samii S et al (2010) Dynamic scheduling and control-quality optimization of self-triggered control applications. In: 31st IEEE real-time systems symposium (RTSS)","DOI":"10.1109\/RTSS.2010.10"},{"key":"9417_CR54","doi-asserted-by":"crossref","unstructured":"Schneider R et al (2011) Constraint-driven synthesis and tool-support for flexray-based automotive control systems. In: CODES+ISSS","DOI":"10.1145\/2039370.2039394"},{"issue":"10D","key":"9417_CR55","doi-asserted-by":"publisher","first-page":"1215","DOI":"10.1016\/j.sysarc.2013.09.003","volume":"59","author":"R Schneider","year":"2013","unstructured":"Schneider R et al (2013) Multi-layered scheduling of mixed-criticality cyber-physical systems. J Syst Architect-Embed Syst Des 59(10D):1215\u20131230","journal-title":"J Syst Architect-Embed Syst Des"},{"issue":"1","key":"9417_CR56","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1109\/TCNS.2016.2583064","volume":"5","author":"D Soudbakhsh","year":"2018","unstructured":"Soudbakhsh D et al (2018) Co-design of arbitrated network control systems with overrun strategies. IEEE Trans Control Netw Syst 5(1):128\u2013141","journal-title":"IEEE Trans Control Netw Syst"},{"issue":"2\u20133","key":"9417_CR57","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1023\/B:TIME.0000045316.66276.6e","volume":"28","author":"L Thiele","year":"2004","unstructured":"Thiele L, Wilhelm R (2004) Design for timing predictability. Real-Time Syst 28(2\u20133):157\u2013177","journal-title":"Real-Time Syst"},{"issue":"11","key":"9417_CR58","doi-asserted-by":"publisher","first-page":"1790","DOI":"10.1109\/TCAD.2017.2666605","volume":"36","author":"P Waszecki","year":"2017","unstructured":"Waszecki P et al (2017) Automotive electrical and electronic architecture security via distributed in-vehicle traffic monitoring. IEEE Trans Comput Aided Des Integr Circ Syst 36(11):1790\u20131803","journal-title":"IEEE Trans Comput Aided Des Integr Circ Syst"},{"issue":"10","key":"9417_CR59","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1145\/3375545","volume":"63","author":"R Wilhelm","year":"2020","unstructured":"Wilhelm R (2020) Real time spent on real time. Commun ACM 63(10):54\u201360","journal-title":"Commun ACM"},{"issue":"10","key":"9417_CR60","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1145\/3448248","volume":"64","author":"J Wing","year":"2021","unstructured":"Wing J (2021) Trustworthy AI. Commun ACM 64(10):64\u201371","journal-title":"Commun ACM"},{"key":"9417_CR61","doi-asserted-by":"crossref","unstructured":"Xu S, Ghosh B, Hobbs C, Thiagarajan PS, Chakraborty S (2023) Safety-aware flexible schedule synthesis for cyber-physical systems using weakly-hard constraints. In: 28th asia and south pacific design automation Conference (ASP-DAC)","DOI":"10.1145\/3566097.3567848"},{"key":"9417_CR62","doi-asserted-by":"crossref","unstructured":"Younes H, Simmons R (2002) Probabilistic verification of discrete event systems using acceptance sampling. In: CAV","DOI":"10.1007\/3-540-45657-0_17"},{"issue":"1","key":"9417_CR63","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1109\/37.898794","volume":"21","author":"W Zhang","year":"2001","unstructured":"Zhang W et al (2001) Stability of networked control systems. IEEE Control Syst Mag 21(1):84\u201399","journal-title":"IEEE Control Syst Mag"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-023-09417-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11241-023-09417-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-023-09417-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,22]],"date-time":"2024-04-22T17:09:56Z","timestamp":1713805796000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11241-023-09417-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,1,29]]},"references-count":63,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2024,3]]}},"alternative-id":["9417"],"URL":"https:\/\/doi.org\/10.1007\/s11241-023-09417-x","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,1,29]]},"assertion":[{"value":"25 October 2023","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 January 2024","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}