Bouheroum, A.; Benmerzoug, D.; Hemam, S. M.; Belala, F. A Multidimensional Approach for Formal Modeling and Analyzing Medical Cyber-Physical Systems. Eng. Technol. Appl. Sci. Res. 2025, 15, 20211-20221.