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