{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T06:50:24Z","timestamp":1751611824938,"version":"3.41.0"},"reference-count":64,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2024,11,1]],"date-time":"2024-11-01T00:00:00Z","timestamp":1730419200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,11,1]],"date-time":"2024-11-01T00:00:00Z","timestamp":1730419200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100005416","name":"Norges Forskningsr\u00e5d","doi-asserted-by":"publisher","award":["309175"],"award-info":[{"award-number":["309175"]}],"id":[{"id":"10.13039\/501100005416","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":[[2025,6]]},"DOI":"10.1007\/s10270-024-01223-8","type":"journal-article","created":{"date-parts":[[2024,11,1]],"date-time":"2024-11-01T07:04:09Z","timestamp":1730444649000},"page":"651-677","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Uncertainty-aware environment simulation of medical devices digital twins"],"prefix":"10.1007","volume":"24","author":[{"given":"Hassan","family":"Sartaj","sequence":"first","affiliation":[]},{"given":"Shaukat","family":"Ali","sequence":"additional","affiliation":[]},{"given":"Julie","family":"Marie\u00a0Gj\u00f8by","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,11,1]]},"reference":[{"key":"1223_CR1","doi-asserted-by":"publisher","unstructured":"Aichernig, B.K., Mostowski, W., Mousavi, M.R., et\u00a0al.: Model learning and model-based testing. In: Machine Learning for Dynamic Software Analysis: Potentials and Limits: International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers, Springer, pp 74\u2013100, (2018). https:\/\/doi.org\/10.1007\/978-3-319-96562-8_3","DOI":"10.1007\/978-3-319-96562-8_3"},{"issue":"2","key":"1223_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3549541","volume":"32","author":"N Altoyan","year":"2023","unstructured":"Altoyan, N., Batory, D.: On proving the correctness of refactoring class diagrams of mde metamodels. ACM Trans. Softw. Eng. Methodol. 32(2), 1\u201342 (2023). https:\/\/doi.org\/10.1145\/3549541","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"1223_CR3","doi-asserted-by":"publisher","unstructured":"Arcuri, A., Briand, L.: A practical guide for using statistical tests to assess randomized algorithms in software engineering. In: Proceedings of the 33rd international conference on software engineering, pp 1\u201310, (2011). https:\/\/doi.org\/10.1145\/1985793.1985795","DOI":"10.1145\/1985793.1985795"},{"key":"1223_CR4","doi-asserted-by":"publisher","DOI":"10.1016\/j.cola.2022.101121","volume":"70","author":"D Bano","year":"2022","unstructured":"Bano, D., Michael, J., Rumpe, B., et al.: Process-aware digital twin cockpit synthesis from event logs. J. Comput. Lang. 70, 101121 (2022). https:\/\/doi.org\/10.1016\/j.cola.2022.101121","journal-title":"J. Comput. Lang."},{"key":"1223_CR5","doi-asserted-by":"publisher","unstructured":"Barat, S., Kulkarni, V., Clark, T., et\u00a0al.: Digital twin as risk-free experimentation aid for techno-socio-economic systems. In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, pp 66\u201375, (2022). https:\/\/doi.org\/10.1145\/3550355.3552409","DOI":"10.1145\/3550355.3552409"},{"key":"1223_CR6","doi-asserted-by":"publisher","unstructured":"Bersani MM, Braghin C, Gargantini A, et\u00a0al (2022) Engineering of trust analysis-driven digital twins for a medical device. In: European Conference on Software Architecture, Springer, pp 467\u2013482, https:\/\/doi.org\/10.1007\/978-3-031-36889-9_31","DOI":"10.1007\/978-3-031-36889-9_31"},{"key":"1223_CR7","doi-asserted-by":"publisher","unstructured":"Bertoa, M.F., Moreno, N., Barquero, G., et\u00a0al.: Expressing measurement uncertainty in OCL\/UML datatypes. In: Modelling Foundations and Applications: 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings 14, Springer, pp 46\u201362, (2018). https:\/\/doi.org\/10.1007\/978-3-319-92997-2_4","DOI":"10.1007\/978-3-319-92997-2_4"},{"issue":"5","key":"1223_CR8","doi-asserted-by":"publisher","first-page":"1163","DOI":"10.1007\/s10270-019-00741-0","volume":"19","author":"MF Bertoa","year":"2020","unstructured":"Bertoa, M.F., Burgue\u00f1o, L., Moreno, N., et al.: Incorporating measurement uncertainty into OCL\/UML primitive datatypes. Softw. Syst. Model. 19(5), 1163\u20131189 (2020). https:\/\/doi.org\/10.1007\/s10270-019-00741-0","journal-title":"Softw. Syst. Model."},{"key":"1223_CR9","doi-asserted-by":"publisher","unstructured":"Bonney, M.S., de\u00a0Angelis, M., Wagg, D., et\u00a0al.: Digital twin operational platform for connectivity and accessibility using flask python. In: 2021 ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), IEEE, pp 237\u2013241, (2021). https:\/\/doi.org\/10.1109\/MODELS-C53483.2021.00042","DOI":"10.1109\/MODELS-C53483.2021.00042"},{"key":"1223_CR10","doi-asserted-by":"publisher","unstructured":"Briand, L., Nejati, S., Sabetzadeh, M., et\u00a0al.: Testing the untestable: model testing of complex software-intensive systems. In: Proceedings of the 38th International Conference on Software Engineering Companion. Association for Computing Machinery, New York, NY, USA, ICSE \u201916, pp. 789\u2013792, (2016). https:\/\/doi.org\/10.1145\/2889160.2889212","DOI":"10.1145\/2889160.2889212"},{"key":"1223_CR11","doi-asserted-by":"publisher","unstructured":"Burgue\u00f1o, L., Bertoa, M.F., Moreno, N., et\u00a0al.: Expressing confidence in models and in model transformation elements. In: Proceedings of the 21th ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems, pp 57\u201366, (2018). https:\/\/doi.org\/10.1145\/3239372.3239394","DOI":"10.1145\/3239372.3239394"},{"issue":"2","key":"1223_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3542947","volume":"32","author":"L Burgue\u00f1o","year":"2023","unstructured":"Burgue\u00f1o, L., Munoz, P., Claris\u00f3, R., et al.: Dealing with belief uncertainty in domain models. ACM Trans. Softw. Eng. Methodol. 32(2), 1\u201334 (2023). https:\/\/doi.org\/10.1145\/3542947","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"1223_CR13","doi-asserted-by":"publisher","unstructured":"C\u00e1mara, J., Calinescu, R., Cheng, B.H., et\u00a0al.: Addressing the uncertainty interaction problem in software-intensive systems: Challenges and desiderata. In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, pp 24\u201330, (2022a). https:\/\/doi.org\/10.1145\/3550355.3552438","DOI":"10.1145\/3550355.3552438"},{"issue":"4","key":"1223_CR14","doi-asserted-by":"publisher","first-page":"1277","DOI":"10.1007\/s10270-022-01037-6","volume":"21","author":"J C\u00e1mara","year":"2022","unstructured":"C\u00e1mara, J., Troya, J., Vallecillo, A., et al.: The uncertainty interaction problem in self-adaptive systems. Softw. Syst. Model. 21(4), 1277\u20131294 (2022). https:\/\/doi.org\/10.1007\/s10270-022-01037-6","journal-title":"Softw. Syst. Model."},{"key":"1223_CR15","doi-asserted-by":"publisher","unstructured":"Christofi, N., Pucel, X.: A novel methodology to construct digital twin models for spacecraft operations using fault and behaviour trees. In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, pp 473\u2013480 (2022). https:\/\/doi.org\/10.1145\/3550356.3561550","DOI":"10.1145\/3550356.3561550"},{"issue":"4\u20135","key":"1223_CR16","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1080\/0951192X.2019.1599436","volume":"32","author":"V Damjanovic-Behrendt","year":"2019","unstructured":"Damjanovic-Behrendt, V., Behrendt, W.: An open source approach to the design and implementation of digital twins for smart manufacturing. Int. J. Comput. Integr. Manuf. 32(4\u20135), 366\u2013384 (2019). https:\/\/doi.org\/10.1080\/0951192X.2019.1599436","journal-title":"Int. J. Comput. Integr. Manuf."},{"issue":"2","key":"1223_CR17","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/j.strusafe.2008.06.020","volume":"31","author":"A Der Kiureghian","year":"2009","unstructured":"Der Kiureghian, A., Ditlevsen, O.: Aleatory or epistemic? Does it matter? Struct. Saf. 31(2), 105\u2013112 (2009). https:\/\/doi.org\/10.1016\/j.strusafe.2008.06.020","journal-title":"Struct. Saf."},{"key":"1223_CR18","doi-asserted-by":"publisher","unstructured":"Dobaj, J., Riel, A., Krug, T., et\u00a0al.: Towards digital twin-enabled devops for cps providing architecture-based service adaptation & verification at runtime. In: Proceedings of the 17th Symposium on Software Engineering for Adaptive and Self-Managing Systems, pp 132\u2013143 (2022). https:\/\/doi.org\/10.1145\/3524844.3528057","DOI":"10.1145\/3524844.3528057"},{"issue":"23","key":"1223_CR19","doi-asserted-by":"publisher","first-page":"16749","DOI":"10.1109\/JIOT.2021.3051158","volume":"8","author":"H Elayan","year":"2021","unstructured":"Elayan, H., Aloqaily, M., Guizani, M.: Digital twin for intelligent context-aware IoT healthcare systems. IEEE Internet Things J. 8(23), 16749\u201316757 (2021). https:\/\/doi.org\/10.1109\/JIOT.2021.3051158","journal-title":"IEEE Internet Things J."},{"key":"1223_CR20","unstructured":"Eramo, R., Pierantonio, A., Rosa, G.: Approaching collaborative modeling as an uncertainty reduction process. In: COMMitMDE@ MoDELS, Citeseer, pp 27\u201334 (2016)"},{"key":"1223_CR21","doi-asserted-by":"publisher","unstructured":"Haris, I., Bisanovic, V., Wally, B., et\u00a0al.: Sensyml: Simulation environment for large-scale IoT applications. In: IECON 2019-45th Annual Conference of the IEEE Industrial Electronics Society, IEEE, pp 3024\u20133030 (2019). https:\/\/doi.org\/10.1109\/IECON.2019.8927756","DOI":"10.1109\/IECON.2019.8927756"},{"issue":"1","key":"1223_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2430536.2430540","volume":"22","author":"H Hemmati","year":"2013","unstructured":"Hemmati, H., Arcuri, A., Briand, L.: Achieving scalable model-based testing through test case diversity. ACM Trans. Softw. Eng. Methodol. 22(1), 1\u201342 (2013). https:\/\/doi.org\/10.1145\/2430536.2430540","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"1223_CR23","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1007\/s10270-013-0328-6","volume":"14","author":"MZ Iqbal","year":"2015","unstructured":"Iqbal, M.Z., Arcuri, A., Briand, L.: Environment modeling and simulation for automated testing of soft real-time embedded software. Softw. Syst. Model. 14, 483\u2013524 (2015). https:\/\/doi.org\/10.1007\/s10270-013-0328-6","journal-title":"Softw. Syst. Model."},{"issue":"3","key":"1223_CR24","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3589517","volume":"33","author":"JM J\u00e9z\u00e9quel","year":"2023","unstructured":"J\u00e9z\u00e9quel, J.M., Vallecillo, A.: Uncertainty-aware simulation of adaptive systems. ACM Trans. Model. Comput. Simul. 33(3), 1\u201319 (2023). https:\/\/doi.org\/10.1145\/3589517","journal-title":"ACM Trans. Model. Comput. Simul."},{"key":"1223_CR25","doi-asserted-by":"publisher","DOI":"10.1016\/j.jii.2020.100196","volume":"22","author":"Z Jiang","year":"2021","unstructured":"Jiang, Z., Guo, Y., Wang, Z.: Digital twin to improve the virtual-real integration of industrial IoT. J. Ind. Inf. Integr. 22, 100196 (2021). https:\/\/doi.org\/10.1016\/j.jii.2020.100196","journal-title":"J. Ind. Inf. Integr."},{"key":"1223_CR26","doi-asserted-by":"publisher","unstructured":"Jongeling, R., Vallecillo, A.: Uncertainty-aware consistency checking in industrial settings. In: 2023 ACM\/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS), IEEE, pp 73\u201383 (2023). https:\/\/doi.org\/10.1109\/MODELS58315.2023.00026","DOI":"10.1109\/MODELS58315.2023.00026"},{"key":"1223_CR27","unstructured":"Karie.: Automatic medicine dispenser karie. https:\/\/kariehealth.com\/, [Online; accessed 04-January-2024] (2024)"},{"issue":"4","key":"1223_CR28","doi-asserted-by":"publisher","first-page":"2674","DOI":"10.1007\/s10664-019-09717-6","volume":"24","author":"MU Khan","year":"2019","unstructured":"Khan, M.U., Sartaj, H., Iqbal, M.Z., et al.: AspectOCL: using aspects to ease maintenance of evolving constraint specification. Empir. Softw. Eng. 24(4), 2674\u20132724 (2019). https:\/\/doi.org\/10.1007\/s10664-019-09717-6","journal-title":"Empir. Softw. Eng."},{"key":"1223_CR29","doi-asserted-by":"publisher","unstructured":"Kirchhof, J.C., Michael, J., Rumpe, B., et\u00a0al.: Model-driven digital twin construction: synthesizing the integration of cyber-physical systems with their information systems. In: Proceedings of the 23rd ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems, pp 90\u2013101 (2020). https:\/\/doi.org\/10.1145\/3365438.3410941","DOI":"10.1145\/3365438.3410941"},{"key":"1223_CR30","doi-asserted-by":"publisher","unstructured":"Kirchhof, J.C., Malcher, L., Rumpe, B.: Understanding and improving model-driven IoT systems through accompanying digital twins. In: Proceedings of the 20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, pp 197\u2013209 (2021). https:\/\/doi.org\/10.1145\/3486609.3487210","DOI":"10.1145\/3486609.3487210"},{"key":"1223_CR31","unstructured":"Llopis, J.A., Criado, J., Iribarne, L., et\u00a0al.: Modeling and synchronizing digital twin environments. In: 2023 Annual Modeling and Simulation Conference (ANNSIM), IEEE, pp 245\u2013257 (2023)"},{"key":"1223_CR32","unstructured":"Medido.: Automatic medicine dispenser medido. https:\/\/medido.com\/en\/, [Online; accessed 04-January-2024] (2024)"},{"key":"1223_CR33","volume-title":"Modeling risk: Applying Monte Carlo risk simulation, strategic real options, stochastic forecasting, and portfolio optimization,","author":"J Mun","year":"2010","unstructured":"Mun, J.: Modeling risk: Applying Monte Carlo risk simulation, strategic real options, stochastic forecasting, and portfolio optimization, vol. 580. John Wiley & Sons (2010)"},{"key":"1223_CR34","unstructured":"Mun, J., CFC C, FRM M.: Risk simulator. Real Options Valuation, Dublin, California, USA (2015)"},{"key":"1223_CR35","doi-asserted-by":"publisher","unstructured":"Mu\u00f1oz, P., Troya, J., Vallecillo, A.: Using UML and OCL models to realize high-level digital twins. In: 2021 ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), IEEE, pp 212\u2013220 (2021). https:\/\/doi.org\/10.1109\/MODELS-C53483.2021.00037","DOI":"10.1109\/MODELS-C53483.2021.00037"},{"key":"1223_CR36","doi-asserted-by":"publisher","unstructured":"Nguyen, L., Segovia, M., Mallouli, W., et\u00a0al.: Digital twin for IoT environments: A testing and simulation tool. In: Quality of Information and Communications Technology: 15th International Conference, QUATIC 2022, Talavera de la Reina, Spain, September 12\u201314, 2022, Proceedings, Springer, pp 205\u2013219 (2022) https:\/\/doi.org\/10.1007\/978-3-031-14179-9_14","DOI":"10.1007\/978-3-031-14179-9_14"},{"key":"1223_CR37","doi-asserted-by":"publisher","unstructured":"Paredis, R., Vangheluwe, H.: Exploring a digital shadow design workflow by means of a line following robot use-case. In: 2021 Annual modeling and simulation conference (ANNSIM), IEEE, pp 1\u201312 (2021). https:\/\/doi.org\/10.23919\/ANNSIM52504.2021.9552143","DOI":"10.23919\/ANNSIM52504.2021.9552143"},{"key":"1223_CR38","unstructured":"Pilly.: Pilly sms medicine dispenser. https:\/\/responssenteret.no\/responsskolen\/brukere\/manualer-videoer\/Pilly.php, [Online; accessed 04-January-2024] (2024)"},{"key":"1223_CR39","doi-asserted-by":"publisher","unstructured":"Pirbhulal, S., Chockalingam, S., Abie, H., et\u00a0al.: Cognitive digital twins for improving security in IT-OT enabled healthcare applications. In: International Conference on Human-Computer Interaction, Springer, pp 153\u2013163 (2024). https:\/\/doi.org\/10.1007\/978-3-031-61382-1_10","DOI":"10.1007\/978-3-031-61382-1_10"},{"key":"1223_CR40","unstructured":"Py4J.: https:\/\/www.py4j.org\/, [Online; accessed 28-Februray-2024] (2009)"},{"key":"1223_CR41","unstructured":"PyEcore.: https:\/\/github.com\/pyecore\/pyecore, [Online; accessed 04-January-2024] (2023)"},{"key":"1223_CR42","unstructured":"PyUML2.: https:\/\/github.com\/pyecore\/pyuml2, [Online; accessed 08-March-2024] (2021)"},{"issue":"3","key":"1223_CR43","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1111\/oik.07202","volume":"130","author":"M Roswell","year":"2021","unstructured":"Roswell, M., Dushoff, J., Winfree, R.: A conceptual guide to measuring species diversity. Oikos 130(3), 321\u2013338 (2021). https:\/\/doi.org\/10.1111\/oik.07202","journal-title":"Oikos"},{"key":"1223_CR44","unstructured":"Sartaj, H.: APD-DT: A Tool to Generate and Operate Digital Twins of Medicine Dispensers. https:\/\/github.com\/Simula-COMPLEX\/WTSPublic (2023)"},{"key":"1223_CR45","doi-asserted-by":"publisher","unstructured":"Sartaj, H., Iqbal, M.Z., Jilani, A.A.A., et\u00a0al.: A search-based approach to generate MC\/DC test data for OCL constraints. In: Search-Based Software Engineering: 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31\u2013September 1, 2019, Proceedings 11, Springer, pp 105\u2013120 (2019). https:\/\/doi.org\/10.1007\/978-3-030-27455-9_8","DOI":"10.1007\/978-3-030-27455-9_8"},{"key":"1223_CR46","doi-asserted-by":"publisher","unstructured":"Sartaj, H., Iqbal, M.Z., Khan, M.U.: CDST: A toolkit for testing cockpit display systems. In: 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST), IEEE, pp 436\u2013441 (2020). https:\/\/doi.org\/10.1109\/ICST46399.2020.00058","DOI":"10.1109\/ICST46399.2020.00058"},{"issue":"6","key":"1223_CR47","doi-asserted-by":"publisher","first-page":"1977","DOI":"10.1007\/s10270-020-00844-z","volume":"20","author":"H Sartaj","year":"2021","unstructured":"Sartaj, H., Iqbal, M.Z., Khan, M.U.: Testing cockpit display systems of aircraft using a model-based approach. Softw. Syst. Model. 20(6), 1977\u20132002 (2021). https:\/\/doi.org\/10.1007\/s10270-020-00844-z","journal-title":"Softw. Syst. Model."},{"key":"1223_CR48","doi-asserted-by":"publisher","unstructured":"Sartaj, H., Ali, S., Yue, T., et\u00a0al.: HITA: An Architecture for System-level Testing of Healthcare IoT Applications. In: European Conference on Software Architecture. Springer, Cham, pp 451\u2013468 (2023a). https:\/\/doi.org\/10.1007\/978-3-031-66326-0_28","DOI":"10.1007\/978-3-031-66326-0_28"},{"key":"1223_CR49","doi-asserted-by":"publisher","unstructured":"Sartaj, H., Ali, S., Yue, T., et\u00a0al.: Testing Real-World Healthcare IoT Application: Experiences and Lessons Learned. In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Association for Computing Machinery, ESEC\/FSE 2023, p 2044-2049 (2023b). https:\/\/doi.org\/10.1145\/3611643.3613888","DOI":"10.1145\/3611643.3613888"},{"key":"1223_CR50","doi-asserted-by":"publisher","unstructured":"Sartaj, H., Ali, S., Gj\u00f8by, J.M.: Digital twins environment simulation for testing healthcare IoT applications. In: Proceedings of the 48th Annual Computers, Software, and Applications Conference (COMPSAC). IEEE, COMPSAC 2024, pp 900\u2013901 (2024a). https:\/\/doi.org\/10.1109\/COMPSAC61105.2024.00124","DOI":"10.1109\/COMPSAC61105.2024.00124"},{"issue":"6","key":"1223_CR51","doi-asserted-by":"publisher","first-page":"1172","DOI":"10.1002\/spe.3311","volume":"54","author":"H Sartaj","year":"2024","unstructured":"Sartaj, H., Ali, S., Yue, T., et al.: Model-based digital twins of medicine dispensers for healthcare IoT applications. Softw. Pract. Exp. 54(6), 1172\u20131192 (2024). https:\/\/doi.org\/10.1002\/spe.3311","journal-title":"Softw. Pract. Exp."},{"key":"1223_CR52","unstructured":"Sartaj, H., Iqbal, M.Z., Jilani, A.A.A., et\u00a0al.: Efficient test data generation for MC\/DC with OCL and search. arXiv preprint arXiv:2401.03469 (2024c)"},{"issue":"64","key":"1223_CR53","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10515-024-00462-9","volume":"31","author":"H Sartaj","year":"2024","unstructured":"Sartaj, H., Muqeet, A., Iqbal, M.Z., et al.: Automated system-level testing of unmanned aerial systems. Autom. Softw. Eng. 31(64), 1\u201348 (2024). https:\/\/doi.org\/10.1007\/s10515-024-00462-9","journal-title":"Autom. Softw. Eng."},{"key":"1223_CR54","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1016\/j.future.2023.12.016","volume":"153","author":"L Sciullo","year":"2024","unstructured":"Sciullo, L., De Marchi, A., Trotta, A., et al.: Relativistic digital twin: bringing the IoT to the future. Futur. Gener. Comput. Syst. 153, 521\u2013536 (2024). https:\/\/doi.org\/10.1016\/j.future.2023.12.016","journal-title":"Futur. Gener. Comput. Syst."},{"issue":"11","key":"1223_CR55","doi-asserted-by":"publisher","first-page":"31297","DOI":"10.1007\/s11042-023-16875-9","volume":"83","author":"MU Shoukat","year":"2024","unstructured":"Shoukat, M.U., Yan, L., Zhang, J., et al.: Smart home for enhanced healthcare: exploring human machine interface oriented digital twin model. Multimedia Tools Appl. 83(11), 31297\u201331315 (2024). https:\/\/doi.org\/10.1007\/s11042-023-16875-9","journal-title":"Multimedia Tools Appl."},{"issue":"4148","key":"1223_CR56","doi-asserted-by":"publisher","first-page":"688","DOI":"10.1038\/163688a0","volume":"163","author":"EH Simpson","year":"1949","unstructured":"Simpson, E.H.: Measurement of diversity. Nature 163(4148), 688\u2013688 (1949). https:\/\/doi.org\/10.1038\/163688a0","journal-title":"Nature"},{"key":"1223_CR57","doi-asserted-by":"publisher","unstructured":"Sleuters, J., Li, Y., Verriet, J., et\u00a0al.: A digital twin method for automated behavior analysis of large-scale distributed IoT systems. In: 2019 14th Annual Conference System of Systems Engineering (SoSE), IEEE, pp 7\u201312 (2019). https:\/\/doi.org\/10.1109\/SYSOSE.2019.8753845","DOI":"10.1109\/SYSOSE.2019.8753845"},{"key":"1223_CR58","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2022.107145","volume":"156","author":"RJ Somers","year":"2023","unstructured":"Somers, R.J., Douthwaite, J.A., Wagg, D.J., et al.: Digital-twin-based testing for cyber-physical systems: A systematic literature review. Inf. Softw. Technol. 156, 107145 (2023). https:\/\/doi.org\/10.1016\/j.infsof.2022.107145","journal-title":"Inf. Softw. Technol."},{"key":"1223_CR59","unstructured":"Steinberg, D., Budinsky, F., Paternostro, M., et\u00a0al.: EMF: Eclipse Modeling Framework 2.0, 2nd edn. Addison-Wesley Professional (2009)"},{"key":"1223_CR60","doi-asserted-by":"publisher","unstructured":"Tao, F., Qi, Q., Wang, L., et al.: Digital twins and cyber-physical systems toward smart manufacturing and industry 4.0: Correlation and comparison. Engineering 5(4), 653\u2013661 (2019). https:\/\/doi.org\/10.1016\/j.eng.2019.01.014","DOI":"10.1016\/j.eng.2019.01.014"},{"key":"1223_CR61","unstructured":"Thunnissen, D.P.: Uncertainty classification for the design and development of complex systems. In: Proceedings of the 3rd Annual Predictive Methods Conference, Veros Software, Santa Ana, CA, pp 1\u201316 (2003)"},{"issue":"4","key":"1223_CR62","doi-asserted-by":"publisher","first-page":"1183","DOI":"10.1007\/s10270-020-00842-1","volume":"20","author":"J Troya","year":"2021","unstructured":"Troya, J., Moreno, N., Bertoa, M.F., et al.: Uncertainty representation in software models: a survey. Softw. Syst. Model. 20(4), 1183\u20131213 (2021). https:\/\/doi.org\/10.1007\/s10270-020-00842-1","journal-title":"Softw. Syst. Model."},{"key":"1223_CR63","doi-asserted-by":"publisher","first-page":"1379","DOI":"10.1007\/s10270-017-0609-6","volume":"18","author":"M Zhang","year":"2019","unstructured":"Zhang, M., Ali, S., Yue, T., et al.: Uncertainty-wise cyber-physical system test modeling. Softw. Syst. Model. 18, 1379\u20131418 (2019). https:\/\/doi.org\/10.1007\/s10270-017-0609-6","journal-title":"Softw. Syst. Model."},{"key":"1223_CR64","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2024.3363169","author":"H Zhou","year":"2024","unstructured":"Zhou, H., Wang, L., Pang, G., et al.: Toward human motion digital twin: a motion capture system for human-centric applications. IEEE Trans. Autom. Sci. Eng. (2024). https:\/\/doi.org\/10.1109\/TASE.2024.3363169","journal-title":"IEEE Trans. Autom. Sci. Eng."}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-024-01223-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-024-01223-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-024-01223-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,4]],"date-time":"2025-06-04T06:27:54Z","timestamp":1749018474000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-024-01223-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,1]]},"references-count":64,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2025,6]]}},"alternative-id":["1223"],"URL":"https:\/\/doi.org\/10.1007\/s10270-024-01223-8","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2024,11,1]]},"assertion":[{"value":"20 March 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 August 2024","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 October 2024","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 November 2024","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}