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