{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,26]],"date-time":"2026-02-26T15:30:11Z","timestamp":1772119811201,"version":"3.50.1"},"reference-count":46,"publisher":"Springer Science and Business Media LLC","issue":"10","license":[{"start":{"date-parts":[[2024,3,18]],"date-time":"2024-03-18T00:00:00Z","timestamp":1710720000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,3,18]],"date-time":"2024-03-18T00:00:00Z","timestamp":1710720000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Supercomput"],"published-print":{"date-parts":[[2024,7]]},"DOI":"10.1007\/s11227-024-06012-0","type":"journal-article","created":{"date-parts":[[2024,3,18]],"date-time":"2024-03-18T09:02:53Z","timestamp":1710752573000},"page":"14242-14271","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A coloured Petri nets-based system for validation of biomedical signal acquisition devices"],"prefix":"10.1007","volume":"80","author":[{"given":"Jos\u00e9 Irineu Ferreira","family":"J\u00fanior","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u00c1lvaro","family":"Sobrinho","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leandro Dias da","family":"Silva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paulo","family":"Cunha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thiago","family":"Cordeiro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Angelo","family":"Perkusich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio Marcus Nogueira","family":"Lima","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,3,18]]},"reference":[{"issue":"3","key":"6012_CR1","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/s40012-019-00232-z","volume":"7","author":"MS Ansari","year":"2019","unstructured":"Ansari MS (2019) Analog front-end design for biomedical signal acquisition systems. CSI Trans ICT 7(3):199\u2013204. https:\/\/doi.org\/10.1007\/s40012-019-00232-z","journal-title":"CSI Trans ICT"},{"key":"6012_CR2","unstructured":"Jr JE, Maitland DJ (2014) Biomedical technology and devices, vol 2. CRC Press, Boca Raton"},{"issue":"3","key":"6012_CR3","doi-asserted-by":"publisher","first-page":"1764","DOI":"10.1109\/tii.2013.2245334","volume":"9","author":"S Li","year":"2013","unstructured":"Li S, Xu LD, Wang X (2013) A continuous biomedical signal acquisition system based on compressed sensing in body sensor networks. IEEE Trans Ind Inf 9(3):1764\u20131771. https:\/\/doi.org\/10.1109\/tii.2013.2245334","journal-title":"IEEE Trans Ind Inf"},{"issue":"8","key":"6012_CR4","doi-asserted-by":"publisher","first-page":"1900","DOI":"10.1109\/tim.2018.2806950","volume":"67","author":"B Taji","year":"2018","unstructured":"Taji B, Chan ADC, Shirmohammadi S (2018) Effect of pressure on skin-electrode impedance in wearable biomedical measurement devices. IEEE Trans Instrum Meas 67(8):1900\u20131912. https:\/\/doi.org\/10.1109\/tim.2018.2806950","journal-title":"IEEE Trans Instrum Meas"},{"issue":"4","key":"6012_CR5","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/msp.2013.49","volume":"11","author":"H Alemzadeh","year":"2013","unstructured":"Alemzadeh H, Iyer RK, Kalbarczyk Z, Raman J (2013) Analysis of safety-critical computer failures in medical devices. IEEE Secur Priv 11(4):14\u201326. https:\/\/doi.org\/10.1109\/msp.2013.49","journal-title":"IEEE Secur Priv"},{"issue":"6","key":"6012_CR6","doi-asserted-by":"publisher","first-page":"746","DOI":"10.1111\/anae.14250","volume":"73","author":"B Cowie","year":"2018","unstructured":"Cowie B, Baker L, Shoghi B, Worner M, Scott D (2018) Electrocardiogram failure in the operating room\u2014bench testing to prevent bed-side disaster. Anaesthesia 73(6):746\u2013749. https:\/\/doi.org\/10.1111\/anae.14250","journal-title":"Anaesthesia"},{"issue":"2","key":"6012_CR7","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/s40264-019-00879-2","volume":"43","author":"RE Ferner","year":"2019","unstructured":"Ferner RE, Aronson JK (2019) Medical devices: classification and analysis of faults leading to harms. Drug Saf 43(2):95\u2013102. https:\/\/doi.org\/10.1007\/s40264-019-00879-2","journal-title":"Drug Saf"},{"issue":"4","key":"6012_CR8","doi-asserted-by":"publisher","first-page":"839","DOI":"10.1007\/s43441-019-00022-4","volume":"54","author":"T Micl\u0103u\u015f","year":"2019","unstructured":"Micl\u0103u\u015f T, Valla V, Koukoura A, Nielsen AA, Dahlerup B, Tsianos G-I, Vassiliadis E (2019) Impact of design on medical device safety. Ther Innov Regul Sci 54(4):839\u2013849. https:\/\/doi.org\/10.1007\/s43441-019-00022-4","journal-title":"Ther Innov Regul Sci"},{"issue":"6","key":"6012_CR9","doi-asserted-by":"publisher","first-page":"775","DOI":"10.1177\/2168479018812812","volume":"53","author":"M Nakayama","year":"2019","unstructured":"Nakayama M, Tanaka S, Hamada S, Uchida T, Kawakami K (2019) Recalls and premarket review systems for high-risk medical devices in Japan. Ther Innov Regul Sci 53(6):775\u2013780. https:\/\/doi.org\/10.1177\/2168479018812812","journal-title":"Ther Innov Regul Sci"},{"issue":"6","key":"6012_CR10","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1145\/2663340","volume":"58","author":"K Jensen","year":"2015","unstructured":"Jensen K, Kristensen LM (2015) Colored petri nets. Commun ACM 58(6):61\u201370. https:\/\/doi.org\/10.1145\/2663340","journal-title":"Commun ACM"},{"key":"6012_CR11","doi-asserted-by":"publisher","unstructured":"IEEE Standard\u2014Adoption of ISO\/IEC 15026-2:2011 Systems and Software Engineering\u2013Systems and Software Assurance\u2014Part 2: Assurance Case. IEEE. https:\/\/doi.org\/10.1109\/ieeestd.2011.6045293","DOI":"10.1109\/ieeestd.2011.6045293"},{"key":"6012_CR12","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/s11227-010-0544-6","volume":"63","author":"R Davidrajuh","year":"2013","unstructured":"Davidrajuh R (2013) Distributed workflow based approach for eliminating redundancy in virtual enterprising. J Supercomput 63:107\u2013125","journal-title":"J Supercomput"},{"issue":"7","key":"6012_CR13","doi-asserted-by":"publisher","first-page":"7762","DOI":"10.1007\/s11227-022-04967-6","volume":"79","author":"TF Silva Pinheiro","year":"2023","unstructured":"Silva Pinheiro TF, Pereira P, Silva B, Maciel P (2023) A performance modeling framework for microservices-based cloud infrastructures. J Supercomput 79(7):7762\u20137803","journal-title":"J Supercomput"},{"key":"6012_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s11227-023-05185-4","volume":"79","author":"D Lages","year":"2023","unstructured":"Lages D, Borba E, Tavares E, Balieiro A, Souza E (2023) A CPN-based model for assessing energy consumption of IoT networks. J Supercomput 79:1\u201323","journal-title":"J Supercomput"},{"key":"6012_CR15","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/j.jelectrocard.2018.12.011","volume":"53","author":"I Nault","year":"2019","unstructured":"Nault I, Andr\u00e9 P, Plourde B, Leclerc F, Sarrazin J-F, Philippon F, O\u2019Hara G, Molin F, Steinberg C, Roy K, Blier L, Champagne J (2019) Validation of a novel single lead ambulatory ECG monitor\u2014cardiostat\u2122\u2014compared to a standard ECG Holter monitoring. J Electrocardiol 53:57\u201363. https:\/\/doi.org\/10.1016\/j.jelectrocard.2018.12.011","journal-title":"J Electrocardiol"},{"issue":"20","key":"6012_CR16","doi-asserted-by":"publisher","first-page":"5962","DOI":"10.3390\/s20205962","volume":"20","author":"M Bravo-Zanoguera","year":"2020","unstructured":"Bravo-Zanoguera M, Cuevas-Gonz\u00e1lez D, Reyna MA, Garc\u00eda-V\u00e1zquez JP, Avitia RL (2020) Fabricating a portable ECG device using AD823x analog front-end microchips and open-source development validation. Sensors 20(20):5962. https:\/\/doi.org\/10.3390\/s20205962","journal-title":"Sensors"},{"issue":"13","key":"6012_CR17","doi-asserted-by":"publisher","first-page":"4485","DOI":"10.3390\/s21134485","volume":"21","author":"RE Wagner","year":"2021","unstructured":"Wagner RE, Silva HP, Gramann K (2021) Validation of a low-cost electrocardiography (ECG) system for psychophysiological research. Sensors 21(13):4485. https:\/\/doi.org\/10.3390\/s21134485","journal-title":"Sensors"},{"issue":"5","key":"6012_CR18","doi-asserted-by":"publisher","first-page":"2032","DOI":"10.3390\/s22052032","volume":"22","author":"B Rogers","year":"2022","unstructured":"Rogers B, Schaffarczyk M, Clau\u00df M, Mourot L, Gronwald T (2022) The movesense medical sensor chest belt device as single channel ECG for RR interval detection and HRV analysis during resting state and incremental exercise: A cross-sectional validation study. Sensors 22(5):2032. https:\/\/doi.org\/10.3390\/s22052032","journal-title":"Sensors"},{"key":"6012_CR19","unstructured":"Constantine HC (2014) CPR training system and methods. United States Patent Application Publication"},{"issue":"3","key":"6012_CR20","doi-asserted-by":"publisher","first-page":"1019","DOI":"10.1109\/tim.2005.847350","volume":"54","author":"A Josko","year":"2005","unstructured":"Josko A, Rak RJ (2005) Effective simulation of signals for testing ECG analyzer. IEEE Trans Instrum Meas 54(3):1019\u20131024. https:\/\/doi.org\/10.1109\/tim.2005.847350","journal-title":"IEEE Trans Instrum Meas"},{"key":"6012_CR21","doi-asserted-by":"publisher","unstructured":"Antonenko N, Anisimov AA (2022) Development of signal generator for calibrating ECG devices. In: 2022 Conference of Russian Young Researchers in Electrical and Electronic Engineering (ElConRus), pp 1457\u20131461. https:\/\/doi.org\/10.1109\/ElConRus54750.2022.9755571","DOI":"10.1109\/ElConRus54750.2022.9755571"},{"issue":"5","key":"6012_CR22","doi-asserted-by":"publisher","first-page":"869","DOI":"10.1140\/epjs\/s11734-021-00334-3","volume":"231","author":"F Karata\u015f","year":"2021","unstructured":"Karata\u015f F, Koyuncu \u0130, Tuna M, Al\u00e7\u0131n M, Avcioglu E, Akgul A (2021) Design and implementation of arrhythmic ECG signals for biomedical engineering applications on FPGA. Eur Phys J Spec Top 231(5):869\u2013884. https:\/\/doi.org\/10.1140\/epjs\/s11734-021-00334-3","journal-title":"Eur Phys J Spec Top"},{"issue":"15","key":"6012_CR23","doi-asserted-by":"publisher","first-page":"5714","DOI":"10.3390\/s22155714","volume":"22","author":"MA Quiroz-Ju\u00e1rez","year":"2022","unstructured":"Quiroz-Ju\u00e1rez MA, Rosales-Ju\u00e1rez JA, Jim\u00e9nez-Ram\u00edrez O, V\u00e1zquez-Medina R, Arag\u00f3n JL (2022) ECG patient simulator based on mathematical models. Sensors 22(15):5714. https:\/\/doi.org\/10.3390\/s22155714","journal-title":"Sensors"},{"issue":"6","key":"6012_CR24","doi-asserted-by":"publisher","first-page":"065026","DOI":"10.1088\/2057-1976\/ac2b4e","volume":"7","author":"D Almeida","year":"2021","unstructured":"Almeida D, Costa J, Louren\u00e7o A (2021) ECG simulator with configurable skin-electrode impedance and artifacts emulation. Biomed Phys Eng Express 7(6):065026. https:\/\/doi.org\/10.1088\/2057-1976\/ac2b4e","journal-title":"Biomed Phys Eng Express"},{"issue":"5","key":"6012_CR25","doi-asserted-by":"publisher","first-page":"77","DOI":"10.3390\/electronics7050077","volume":"7","author":"A Polo","year":"2018","unstructured":"Polo A, Narvaez P, Algar\u00edn CR (2018) Implementation of a cost-effective didactic prototype for the acquisition of biomedical signals. Electronics 7(5):77. https:\/\/doi.org\/10.3390\/electronics7050077","journal-title":"Electronics"},{"key":"6012_CR26","doi-asserted-by":"publisher","unstructured":"Gois DAS, Lima JPA, Chella MT, J\u00fanior MCR (2018) YouMake: a low-cost, easy for prototyping, didactic and generic platform for acquisition and conditioning of biomedical signals. In: International Conference on Enterprise Information Systems, pp 473\u2013497. https:\/\/doi.org\/10.1007\/978-3-319-93375-7_22","DOI":"10.1007\/978-3-319-93375-7_22"},{"key":"6012_CR27","doi-asserted-by":"crossref","unstructured":"Rubio D, Lescouli\u00e9 N, Arce D, Roberti M, Ponce S (2020) Analysis and validation of electrical safety procedures for biomedical devices. In: Gonz\u00e1lez D\u00edaz CA, Chapa Gonz\u00e1lez C, Laciar Leber E, V\u00e9lez HA, Puente NP, Flores D-L, Andrade AO, Galv\u00e1n HA, Mart\u00ednez F, Garc\u00eda R, Trujillo CJ, Mej\u00eda AR (eds) VIII Latin American Conference on Biomedical Engineering and XLII National Conference on Biomedical Engineering. Springer, Cham, pp 1434\u20131440","DOI":"10.1007\/978-3-030-30648-9_185"},{"key":"6012_CR28","doi-asserted-by":"publisher","unstructured":"Zhao S, Li J, Tan M, Xu C, Cheng X (2020) Modeling and simulation of signal acquisition system based on inhibitor arcs hierarchical coloured petri nets: taking dust signal acquisition system as an example. In: 2020 IEEE 9th Data Driven Control and Learning Systems Conference (DDCLS), pp 128\u2013133. https:\/\/doi.org\/10.1109\/DDCLS49620.2020.9275182","DOI":"10.1109\/DDCLS49620.2020.9275182"},{"key":"6012_CR29","doi-asserted-by":"publisher","unstructured":"Silva HP, Guerreiro J, Loure\u00e7o A, Fred A, Martins R (2014) BITalino: a novel hardware framework for physiological computing. In: Proceedings of the International Conference on Physiological Computing Systems. https:\/\/doi.org\/10.5220\/0004727802460253","DOI":"10.5220\/0004727802460253"},{"key":"6012_CR30","doi-asserted-by":"publisher","unstructured":"Lai S-C, Hung Y-H, Chang Y-T (2018) Low-cost prototype design of biomedical sensing device for ECG and EMG signal acquisition system. In: 2018 International Conference BIOMDLORE, pp 1\u20132. https:\/\/doi.org\/10.1109\/BIOMDLORE.2018.8467208","DOI":"10.1109\/BIOMDLORE.2018.8467208"},{"issue":"2","key":"6012_CR31","doi-asserted-by":"publisher","first-page":"48","DOI":"10.11648\/j.cssp.20180702.12","volume":"7","author":"SI Khan","year":"2018","unstructured":"Khan SI (2018) Development of a modular biopotential amplifier trainer for biomedical instrumentation laboratory experiments. Sci J Circuits Syst Signal Process 7(2):48. https:\/\/doi.org\/10.11648\/j.cssp.20180702.12","journal-title":"Sci J Circuits Syst Signal Process"},{"key":"6012_CR32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8","volume-title":"Handbook of model checking","author":"EM Clarke","year":"2018","unstructured":"Clarke EM, Henzinger TA, Veith H, Bloem R (2018) Handbook of model checking, vol 1. Springer, New York"},{"issue":"2","key":"6012_CR33","doi-asserted-by":"publisher","first-page":"1837","DOI":"10.1002\/stvr.1837","volume":"33","author":"A Sobrinho","year":"2023","unstructured":"Sobrinho A, Almeida I, Silva LD, Silva L, Ara\u00fajo A, Costa TF, Perkusich A (2023) Coloured petri nets for abstract test generation in software engineering. Softw Test Verif Reliab 33(2):1837. https:\/\/doi.org\/10.1002\/stvr.1837","journal-title":"Softw Test Verif Reliab"},{"key":"6012_CR34","doi-asserted-by":"publisher","DOI":"10.1007\/b95112","volume-title":"Coloured petri nets: modelling and validation of concurrent systems","author":"K Jensen","year":"2009","unstructured":"Jensen K, Kristensen LM (2009) Coloured petri nets: modelling and validation of concurrent systems, vol 1. Springer, New York"},{"key":"6012_CR35","doi-asserted-by":"publisher","unstructured":"Westergaard M, Kristensen LM (2009) The access\/CPN framework: a tool for interacting with the CPN tools simulator. In: International Conference on Applications and Theory of Petri Nets, pp 313\u2013322. https:\/\/doi.org\/10.1007\/978-3-642-02424-5_19","DOI":"10.1007\/978-3-642-02424-5_19"},{"key":"6012_CR36","doi-asserted-by":"publisher","DOI":"10.1161\/01.cir.101.23.e215","author":"AL Goldberger","year":"2000","unstructured":"Goldberger AL, Amaral LAN, Glass L, Hausdorff JM, Ivanov PC, Mark RG, Mietus JE, Moody GB, Peng C-K, Stanley HE (2000) PhysioBank, PhysioToolkit, and PhysioNet. Circulation. https:\/\/doi.org\/10.1161\/01.cir.101.23.e215","journal-title":"Circulation"},{"key":"6012_CR37","doi-asserted-by":"publisher","unstructured":"Miranda\u00a0Vasconcellos EM, Cordeiro TD, Sobrinho A, Silva LD, Perkusich A, Nogueira\u00a0Lima AM (2019) A mixed-radix FFT algorithm implementation based on petri nets to assist the certification of bio-medical systems. In: IECON 2019\u201445th Annual Conference of the IEEE Industrial Electronics Society, pp 2761\u20132766. https:\/\/doi.org\/10.1109\/IECON.2019.8927112","DOI":"10.1109\/IECON.2019.8927112"},{"issue":"2","key":"6012_CR38","doi-asserted-by":"publisher","first-page":"1467","DOI":"10.1007\/s10270-017-0616-7","volume":"18","author":"A Sobrinho","year":"2017","unstructured":"Sobrinho A, Silva LD, Perkusich A, Cunha P, Cordeiro T, Lima AMN (2017) Formal modeling of biomedical signal acquisition systems: source of evidence for certification. Softw Syst Model 18(2):1467\u20131485. https:\/\/doi.org\/10.1007\/s10270-017-0616-7","journal-title":"Softw Syst Model"},{"key":"6012_CR39","doi-asserted-by":"publisher","unstructured":"Biomedical signal acquisition system\u2014CPN model 2.3 (2024). https:\/\/doi.org\/10.5281\/zenodo.10674137","DOI":"10.5281\/zenodo.10674137"},{"issue":"3","key":"6012_CR40","doi-asserted-by":"publisher","first-page":"1475","DOI":"10.3390\/app12031475","volume":"12","author":"TF Costa","year":"2022","unstructured":"Costa TF, Sobrinho \u00c1, Silva LC, Silva LD, Perkusich A (2022) Coloured petri nets-based modeling and validation of insulin infusion pump systems. Appl Sci 12(3):1475. https:\/\/doi.org\/10.3390\/app12031475","journal-title":"Appl Sci"},{"key":"6012_CR41","unstructured":"Texas Instruments Incorporated. How to measure ECG (2017) A guide to the signals, system blocks and solutions. https:\/\/training.ti.com\/ how-measure-ecg-analog-lead-derivation"},{"key":"6012_CR42","unstructured":"Analog Devices (2013) Single-lead, heart rate monitor front end datasheet AD8232. https:\/\/www.analog.com\/media\/en\/technical-documentation\/data-sheets\/ad8232.pdf"},{"key":"6012_CR43","unstructured":"Analog Devices (2014) Low power, precision analog microcontroller with dual sigma-delta ADCs, ARM Cortex-M3, Data SheetADuCM360\/ADuCM361. https:\/\/www.analog.com\/media\/en\/technical-documentation\/data-sheets\/ADuCM360_361.pdf"},{"issue":"2","key":"6012_CR44","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1016\/j.neuron.2019.02.039","volume":"102","author":"A de Cheveign\u00e9","year":"2019","unstructured":"de Cheveign\u00e9 A, Nelken I (2019) Filters: when, why, and how (not) to use them. Neuron 102(2):280\u2013293. https:\/\/doi.org\/10.1016\/j.neuron.2019.02.039","journal-title":"Neuron"},{"issue":"3","key":"6012_CR45","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1109\/tbme.2003.808805","volume":"50","author":"PE McSharry","year":"2003","unstructured":"McSharry PE, Clifford GD, Tarassenko L, Smith LA (2003) A dynamical model for generating synthetic electrocardiogram signals. IEEE Trans Biomed Eng 50(3):289\u2013294. https:\/\/doi.org\/10.1109\/tbme.2003.808805","journal-title":"IEEE Trans Biomed Eng"},{"issue":"5","key":"6012_CR46","doi-asserted-by":"publisher","first-page":"1638","DOI":"10.3390\/s21051638","volume":"21","author":"A Awal","year":"2021","unstructured":"Awal A, Mostafa SS, Ahmad M, Alahe MA, Rashid MA, Kouzani AZ, Mahmud MAP (2021) Design and optimization of ECG modeling for generating different cardiac dysrhythmias. Sensors 21(5):1638. https:\/\/doi.org\/10.3390\/s21051638","journal-title":"Sensors"}],"container-title":["The Journal of Supercomputing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-024-06012-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11227-024-06012-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-024-06012-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,10]],"date-time":"2024-06-10T07:03:24Z","timestamp":1718003004000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11227-024-06012-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,3,18]]},"references-count":46,"journal-issue":{"issue":"10","published-print":{"date-parts":[[2024,7]]}},"alternative-id":["6012"],"URL":"https:\/\/doi.org\/10.1007\/s11227-024-06012-0","relation":{"has-preprint":[{"id-type":"doi","id":"10.21203\/rs.3.rs-3764206\/v1","asserted-by":"object"}]},"ISSN":["0920-8542","1573-0484"],"issn-type":[{"value":"0920-8542","type":"print"},{"value":"1573-0484","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,3,18]]},"assertion":[{"value":"19 February 2024","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 March 2024","order":2,"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 that they have no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}