Bouheroum, A., Benmerzoug, D., Hemam, S. M. and Belala, F. (2025) “A Multidimensional Approach for Formal Modeling and Analyzing Medical Cyber-Physical Systems”, Engineering, Technology & Applied Science Research. Greece, 15(1), pp. 20211–20221. doi: 10.48084/etasr.9646.