{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,24]],"date-time":"2026-07-24T17:14:56Z","timestamp":1784913296800,"version":"3.55.0"},"reference-count":50,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2024,2,20]],"date-time":"2024-02-20T00:00:00Z","timestamp":1708387200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,2,20]],"date-time":"2024-02-20T00:00:00Z","timestamp":1708387200000},"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":["Cluster Comput"],"published-print":{"date-parts":[[2024,8]]},"DOI":"10.1007\/s10586-023-04259-5","type":"journal-article","created":{"date-parts":[[2024,2,20]],"date-time":"2024-02-20T14:02:45Z","timestamp":1708437765000},"page":"6059-6079","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Quantifying the impact of resource redundancy on smart city system dependability: a model-driven approach"],"prefix":"10.1007","volume":"27","author":[{"given":"Francisco Airton","family":"Silva","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Iure","family":"F\u00e9","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Francisco","family":"Silva","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tuan Anh","family":"Nguyen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2024,2,20]]},"reference":[{"key":"4259_CR1","doi-asserted-by":"crossref","unstructured":"Abate, A., Budde, C.E., Cauchi, N., Hoque, K.A., Stoelinga, M.: Assessment of maintenance policies for smart buildings: application of formal methods to fault maintenance trees. In: European Conference of the Prognostics and Health Management Society (2018)","DOI":"10.36001\/phme.2018.v4i1.385"},{"key":"4259_CR2","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1016\/j.cities.2016.09.009","volume":"60","author":"H Ahvenniemi","year":"2017","unstructured":"Ahvenniemi, H., Huovila, A., Pinto-Sepp\u00e4, I., Airaksinen, M.: What are the differences between sustainable and smart cities? Cities 60, 234\u2013245 (2017)","journal-title":"Cities"},{"issue":"3","key":"4259_CR3","doi-asserted-by":"publisher","first-page":"1828","DOI":"10.1007\/s11227-018-2290-0","volume":"76","author":"E Andrade","year":"2020","unstructured":"Andrade, E., Nogueira, B.: Dependability evaluation of a disaster recovery solution for iot infrastructures. J. Supercomput. 76(3), 1828\u20131849 (2020)","journal-title":"J. Supercomput."},{"key":"4259_CR4","doi-asserted-by":"crossref","unstructured":"Araujo, E., Dantas, J., Matos, R., Pereira, P., Maciel, P.: Dependability evaluation of an iot system: a hierarchical modelling approach. In: 2019 IEEE International Conference on Systems, Man and Cybernetics (SMC), pp. 2121\u20132126. IEEE (2019)","DOI":"10.1109\/SMC.2019.8914032"},{"issue":"3","key":"4259_CR5","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1504\/IJSNET.2021.117229","volume":"36","author":"G Ara\u00fajo","year":"2021","unstructured":"Ara\u00fajo, G., Rodrigues, L., Oliveira, K., F\u00e9, I., Khan, R., Silva, F.A.: Vehicular cloud computing networks: availability modelling and sensitivity analysis. Int. J. Sens. Netw. 36(3), 125\u2013138 (2021)","journal-title":"Int. J. Sens. Netw."},{"issue":"1","key":"4259_CR6","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/s12083-020-00943-0","volume":"14","author":"S Balamurugan","year":"2021","unstructured":"Balamurugan, S., Ayyasamy, A., Joseph, K.S.: Enhanced petri nets for traceability of food management using internet of things. Peer-to-Peer Netw. Appl. 14(1), 30\u201343 (2021)","journal-title":"Peer-to-Peer Netw. Appl."},{"key":"4259_CR7","doi-asserted-by":"crossref","unstructured":"Barlow, RE., Proschan, F.: Mathematical theory of reliability. SIAM (1996)","DOI":"10.1137\/1.9781611971194"},{"issue":"7","key":"4259_CR8","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1007\/s00502-016-0436-4","volume":"133","author":"CA Boano","year":"2016","unstructured":"Boano, C.A., R\u00f6mer, K., Bloem, R., Witrisal, K., Baunach, M., Horn, M.: Dependability for the internet of things-from dependable networking in harsh environments to a holistic view on dependability. e i Elektrotech. Inf. Tech. 133(7), 304\u2013309 (2016)","journal-title":"e i Elektrotech. Inf. Tech."},{"key":"4259_CR9","doi-asserted-by":"publisher","DOI":"10.1002\/0471791571","volume-title":"Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications","author":"G Bolch","year":"2006","unstructured":"Bolch, G., Greiner, S., De Meer, H., Trivedi, K.S.: Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications. Wiley, New York (2006)"},{"key":"4259_CR10","doi-asserted-by":"crossref","unstructured":"Boreiko, O., Teslyuk, V.: Model of data collection controller of automated processing systems for passenger traffic public transport \"smart\" city based on petri nets. In: 2017 2nd International Conference on Advanced Information and Communication Technologies (AICT), pp. 62\u201365. IEEE (2017)","DOI":"10.1109\/AIACT.2017.8020066"},{"issue":"1","key":"4259_CR11","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/S0010-4655(98)00165-9","volume":"117","author":"F Campolongo","year":"1999","unstructured":"Campolongo, F., Tarantola, S., Saltelli, A.: Tackling quantitatively large dimensionality problems. Comput. Phys. Commun. 117(1), 75\u201385 (1999)","journal-title":"Comput. Phys. Commun."},{"key":"4259_CR12","volume-title":"Sensitivity Analysis in Practice: A Guide to Assessing Scientific Models","author":"F Campolongo","year":"2004","unstructured":"Campolongo, F., Tarantola, S., Saltelli, A., Ratto, M.: Sensitivity Analysis in Practice: A Guide to Assessing Scientific Models. Wiley, New York (2004)"},{"key":"4259_CR13","doi-asserted-by":"publisher","DOI":"10.4018\/978-1-60960-794-4","volume-title":"Performance and Dependability in Service Computing: Concepts","author":"V Cardellini","year":"2012","unstructured":"Cardellini, V., Casalicchio, E., Branco, K.R.C., Estrella, J.C., Monaco, F.J.: Performance and Dependability in Service Computing: Concepts. Techniques and Research Directions. Information Science Reference, Hershey (2012)"},{"issue":"1","key":"4259_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10708-018-9845-8","volume":"84","author":"P Cardullo","year":"2019","unstructured":"Cardullo, P., Kitchin, R.: Being a \u2018citizen\u2019 in the smart city: Up and down the scaffold of smart citizen participation in Dublin, Ireland. GeoJournal 84(1), 1\u201313 (2019)","journal-title":"GeoJournal"},{"key":"4259_CR15","first-page":"559","volume-title":"European Conference on Parallel Processing","author":"E Cesario","year":"2018","unstructured":"Cesario, E., Cicirelli, F., Mastroianni, C.: Distributed computation of mobility patterns in a smart city environment. In: European Conference on Parallel Processing, pp. 559\u2013572. Springer, Berlin (2018)"},{"key":"4259_CR16","unstructured":"de Souza Matos J\u00fanior, R.: Identification of Availability and Performance Bottlenecks in Cloud Computing Systems: An Approach Based on Hierarchical Models and Sensitivity Analysis. PhD thesis, Federal University of Pernambuco, Center for Informatics, Graduate in Computer Science, Recife (2016)"},{"key":"4259_CR17","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/j.techfore.2018.10.029","volume":"142","author":"J Desdemoustier","year":"2019","unstructured":"Desdemoustier, J., Crutzen, N., Giffinger, R.: Municipalities\u2019 understanding of the smart city concept: an exploratory analysis in Belgium. Technol. Forecast. Soc. Chang. 142, 129\u2013141 (2019)","journal-title":"Technol. Forecast. Soc. Chang."},{"key":"4259_CR18","unstructured":"Earth Org. Top 7 Smart Cities in the World. https:\/\/tinyurl.com\/2s3wkkcv (2022). Accessed 04 Sep 2022"},{"issue":"8","key":"4259_CR19","doi-asserted-by":"publisher","first-page":"876","DOI":"10.3390\/electronics10080876","volume":"10","author":"I Gon\u00e7alves","year":"2021","unstructured":"Gon\u00e7alves, I., Rodrigues, L., Silva, F.A., Nguyen, T.A., Min, D., Lee, J.-W.: Surveillance system in smart cities: a dependability evaluation based on stochastic models. Electronics 10(8), 876 (2021)","journal-title":"Electronics"},{"key":"4259_CR20","first-page":"38","volume-title":"School Organized by the European Educational Forum","author":"BR Haverkort","year":"2000","unstructured":"Haverkort, B.R.: Markovian models for performance and dependability evaluation. In: School Organized by the European Educational Forum, pp. 38\u201383. Springer, Berlin (2000)"},{"issue":"1","key":"4259_CR21","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1109\/24.376541","volume":"44","author":"BR Haverkort","year":"1995","unstructured":"Haverkort, B.R., Meeuwissen, A.M.H.: Sensitivity and uncertainty analysis of Markov-reward models. IEEE Trans. Reliab. 44(1), 147\u2013154 (1995)","journal-title":"IEEE Trans. Reliab."},{"key":"4259_CR22","unstructured":"Hoffman, F., Gardner, R.: Evaluation of Uncertainties in Environmental Radiological Assessment Models. Radiological Assessments (1983)"},{"key":"4259_CR23","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1016\/j.eswa.2017.01.058","volume":"77","author":"S Kabir","year":"2017","unstructured":"Kabir, S.: An overview of fault tree analysis and its application in model based dependability analysis. Expert Syst. Appl. 77, 114\u2013135 (2017)","journal-title":"Expert Syst. Appl."},{"issue":"4","key":"4259_CR24","doi-asserted-by":"publisher","first-page":"194","DOI":"10.47839\/ijc.16.4.907","volume":"16","author":"V Kharchenko","year":"2017","unstructured":"Kharchenko, V., Ponochovnyi, Y., Abdulmunem, A.-S., Boyarchuk, A.: Security and availability models for smart building automation systems. Int. J. Comput. 16(4), 194\u2013202 (2017)","journal-title":"Int. J. Comput."},{"key":"4259_CR25","unstructured":"Kleinrock, L.: Queueing systems, vol. 1: Theory (1975)"},{"key":"4259_CR26","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/BF01457949","volume":"104","author":"A Kolmogoroff","year":"1931","unstructured":"Kolmogoroff, A.: \u00dcber die analytischen methoden in der wahrscheinlichkeitsrechnung. Math. Ann. 104, 415\u2013458 (1931)","journal-title":"Math. Ann."},{"issue":"1\/2","key":"4259_CR27","first-page":"121","volume":"11","author":"I Kroener","year":"2013","unstructured":"Kroener, I.: \u2018caught on camera\u2019: the media representation of video surveillance in relation to the 2005 London underground bombings. Surv. Soc. 11(1\/2), 121\u2013133 (2013)","journal-title":"Surv. Soc."},{"key":"4259_CR28","doi-asserted-by":"publisher","first-page":"660","DOI":"10.1109\/ACCESS.2016.2525041","volume":"4","author":"P Kulkarni","year":"2016","unstructured":"Kulkarni, P., Farnham, T.: Smart city wireless connectivity considerations and cost analysis: lessons learnt from smart water case studies. IEEE Access 4, 660\u2013672 (2016)","journal-title":"IEEE Access"},{"key":"4259_CR29","first-page":"4","volume":"33","author":"X-X Li","year":"2017","unstructured":"Li, X.-X., Zhu, Y.-W., Wang, J.: Efficient encrypted data comparison through a hybrid method. J. Inf. Sci. Eng. 33, 4 (2017)","journal-title":"J. Inf. Sci. Eng."},{"key":"4259_CR30","doi-asserted-by":"publisher","first-page":"954","DOI":"10.1109\/LAWP.2015.2388701","volume":"14","author":"S Lin","year":"2015","unstructured":"Lin, S., Kong, L., He, L., Guan, K., Ai, B., Zhong, Z., Briso-Rodr\u00edguez, C.: Finite-state Markov modeling for high-speed railway fading channels. IEEE Antennas Wirel. Propag. Lett. 14, 954\u2013957 (2015)","journal-title":"IEEE Antennas Wirel. Propag. Lett."},{"key":"4259_CR31","doi-asserted-by":"publisher","first-page":"344","DOI":"10.1016\/j.ssci.2015.06.017","volume":"79","author":"P Liu","year":"2015","unstructured":"Liu, P., Yang, L., Gao, Z., Li, S., Gao, Y.: Fault tree analysis combined with quantitative analysis for high-speed railway accidents. Saf. Sci. 79, 344\u2013357 (2015)","journal-title":"Saf. Sci."},{"key":"4259_CR32","doi-asserted-by":"crossref","unstructured":"Maciel, P.R., Trivedi, K.S., Matias, R., Kim, D.S.: Dependability modeling. In: Performance and dependability in service computing: concepts, techniques and research directions, pp. 53\u201397. IGI Global (2012)","DOI":"10.4018\/978-1-60960-794-4.ch003"},{"issue":"1","key":"4259_CR33","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1198\/tech.2003.s25","volume":"45","author":"JI McCool","year":"2003","unstructured":"McCool, J.I.: Probability and statistics with reliability, queuing and computer science applications. Technometrics 45(1), 107 (2003)","journal-title":"Technometrics"},{"key":"4259_CR34","doi-asserted-by":"crossref","unstructured":"Melo, C., Dantas, J., Oliveira, A., Oliveira, D., F\u00e9, I., Araujo, J., Matos, R., Maciel, P.: Availability models for hyper-converged cloud computing infrastructures. In 2018 Annual IEEE International Systems Conference (SysCon), pp. 1\u20137. IEEE (2018)","DOI":"10.1109\/SYSCON.2018.8369580"},{"key":"4259_CR35","unstructured":"Menasce, D.A., Almeida, V.A., Dowdy, L.W., Dowdy, L.: Performance by design: computer capacity planning by example. Prentice Hall Professional (2004)"},{"issue":"18","key":"4259_CR36","doi-asserted-by":"publisher","first-page":"6253","DOI":"10.3390\/s21186253","volume":"21","author":"TA Nguyen","year":"2021","unstructured":"Nguyen, T.A., Fe, I., Brito, C., Kaliappan, V.K., Choi, E., Min, D., Lee, J.W., Silva, F.A.: Performability evaluation of load balancing and fail-over strategies for medical information systems with edge\/fog computing using stochastic reward nets. Sensors 21(18), 6253 (2021)","journal-title":"Sensors"},{"key":"4259_CR37","doi-asserted-by":"crossref","unstructured":"Ojie, E., Pereira, E.: Exploring dependability issues in iot applications. In: Proceedings of the Second International Conference on Internet of things, Data and Cloud Computing, pp. 1\u20135 (2017)","DOI":"10.1145\/3018896.3036364"},{"key":"4259_CR38","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1016\/j.envsoft.2016.02.008","volume":"79","author":"F Pianosi","year":"2016","unstructured":"Pianosi, F., Beven, K., Freer, J., Hall, J., Rougier, J., Stephenson, D., Wagener, T.: Sensitivity analysis of environmental models: a systematic review with practical workflow. Environ. Model. Softw. 79, 214\u2013232 (2016)","journal-title":"Environ. Model. Softw."},{"key":"4259_CR39","doi-asserted-by":"crossref","unstructured":"Qi, L., Zhou, M., Ding, Z.: Real-time traffic camera-light control systems for intersections subject to accidents: a petri net approach. In: 2013 IEEE International Conference on Systems, Man, and Cybernetics, pp. 1069\u20131074. IEEE (2013)","DOI":"10.1109\/SMC.2013.186"},{"issue":"10","key":"4259_CR40","doi-asserted-by":"publisher","first-page":"2401","DOI":"10.1007\/s00607-021-00979-x","volume":"103","author":"L Rodrigues","year":"2021","unstructured":"Rodrigues, L., Gon\u00e7alves, I., F\u00e9, I., Endo, P.T., Silva, F.A.: Performance and availability evaluation of an smart hospital architecture. Computing 103(10), 2401\u20132435 (2021)","journal-title":"Computing"},{"issue":"3","key":"4259_CR41","first-page":"276","volume":"24","author":"L Rodrigues","year":"2021","unstructured":"Rodrigues, L., Neto, F., Gon\u00e7alves, G., Soares, A., Silva, F.A.: Performance evaluation of smart cooperative traffic lights in vanets. Int. J. Comput. Sci. Eng. 24(3), 276\u2013289 (2021)","journal-title":"Int. J. Comput. Sci. Eng."},{"issue":"16","key":"4259_CR42","doi-asserted-by":"publisher","first-page":"5660","DOI":"10.3390\/s21165660","volume":"21","author":"B Santos","year":"2021","unstructured":"Santos, B., Soares, A., Nguyen, T.-A., Min, D.-K., Lee, J.-W., Silva, F.-A.: Iot sensor networks in smart buildings: a performance assessment using queuing models. Sensors 21(16), 5660 (2021)","journal-title":"Sensors"},{"issue":"1","key":"4259_CR43","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1186\/s13677-018-0118-3","volume":"7","author":"GL Santos","year":"2018","unstructured":"Santos, G.L., Endo, P.T., da SilvaLisboaTigre, M.F.F., da Silva, L.G.F., Sadok, D., Kelner, J., Lynn, T.: Analyzing the availability and performance of an e-health system integrated with edge, fog and cloud infrastructures. J. Cloud Comput. 7(1), 1\u201322 (2018)","journal-title":"J. Cloud Comput."},{"key":"4259_CR44","unstructured":"Silva, B., Matos, R., Callou, G., Figueiredo, J., Oliveira, D., Ferreira, J., Dantas, J., Lobo, A., Alves, V., Maciel, P.: Mercury: an integrated environment for performance and dependability evaluation of general systems. In: Proceedings of Industrial Track at 45th Dependable Systems and Networks Conference, DSN (2015)"},{"issue":"4","key":"4259_CR45","doi-asserted-by":"publisher","first-page":"1595","DOI":"10.3390\/s22041595","volume":"22","author":"FA Silva","year":"2022","unstructured":"Silva, F.A., Brito, C., Ara\u00fajo, G., F\u00e9, I., Tyan, M., Lee, J.-W., Nguyen, T.A., Maciel, P.R.M.: Model-driven impact quantification of energy resource redundancy and server rejuvenation on the dependability of medical sensor networks in smart hospitals. Sensors 22(4), 1595 (2022)","journal-title":"Sensors"},{"key":"4259_CR46","doi-asserted-by":"publisher","first-page":"55271","DOI":"10.1109\/ACCESS.2021.3071508","volume":"9","author":"FA Silva","year":"2021","unstructured":"Silva, F.A., Nguyen, T.A., F\u00e9, I., Brito, C., Min, D., Lee, J.-W.: Performance evaluation of an internet of healthcare things for medical monitoring using m\/m\/c\/k queuing models. IEEE Access 9, 55271\u201355283 (2021)","journal-title":"IEEE Access"},{"issue":"7","key":"4259_CR47","doi-asserted-by":"publisher","first-page":"2005","DOI":"10.1016\/j.compeleceng.2013.04.021","volume":"39","author":"I Silva","year":"2013","unstructured":"Silva, I., Leandro, R., Macedo, D., Guedes, L.A.: A dependability evaluation tool for the internet of things. Comput. Electr. Eng. 39(7), 2005\u20132018 (2013)","journal-title":"Comput. Electr. Eng."},{"key":"4259_CR48","doi-asserted-by":"crossref","unstructured":"Singh, T., Solanki, A., Sharma, S.K., Nayyar, A., Paul, A.: A decade review on smart cities: paradigms, challenges and opportunities. IEEE Access (2022)","DOI":"10.1109\/ACCESS.2022.3184710"},{"key":"4259_CR49","doi-asserted-by":"crossref","unstructured":"Victor, C., Nguyen, T.A., Silva, L.A., Andrade, E., Santos, G.L., Min, D., Lee, J.W., Silva, F.A.: Performability assessment and sensitivity analysis of a home automation system. In: 2021 IEEE\/ACM 25th International Symposium on Distributed Simulation and Real Time Applications (DS-RT), pp. 1\u20134. IEEE (2021)","DOI":"10.1109\/DS-RT52167.2021.9576142"},{"key":"4259_CR50","unstructured":"Worldometers. Worldometers. World Population Forecast. https:\/\/www.worldometers.info 2022. Accessed 04 Sep 2022"}],"container-title":["Cluster Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10586-023-04259-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10586-023-04259-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10586-023-04259-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,12]],"date-time":"2024-08-12T14:38:44Z","timestamp":1723473524000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10586-023-04259-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,2,20]]},"references-count":50,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2024,8]]}},"alternative-id":["4259"],"URL":"https:\/\/doi.org\/10.1007\/s10586-023-04259-5","relation":{},"ISSN":["1386-7857","1573-7543"],"issn-type":[{"value":"1386-7857","type":"print"},{"value":"1573-7543","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,2,20]]},"assertion":[{"value":"10 October 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 November 2023","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 December 2023","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 February 2024","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors have no relevant financial or non-financial interests to disclose.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"Not applicable.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethical approval"}}]}}