A. Bouheroum, D. Benmerzoug, S. M. Hemam, and F. Belala, “A Multidimensional Approach for Formal Modeling and Analyzing Medical Cyber-Physical Systems”, Eng. Technol. Appl. Sci. Res., vol. 15, no. 1, pp. 20211–20221, Feb. 2025.