Bouheroum, Ayoub, Djamel Benmerzoug, Sofiane Mounine Hemam, and Faiza Belala. 2025. “A Multidimensional Approach for Formal Modeling and Analyzing Medical Cyber-Physical Systems”. Engineering, Technology & Applied Science Research 15 (1). Greece:20211-21. https://doi.org/10.48084/etasr.9646.