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. 15, 1 (Feb. 2025), 20211–20221. DOI:https://doi.org/10.48084/etasr.9646.