Bouheroum, Ayoub, Djamel Benmerzoug, Sofiane Mounine Hemam, and Faiza Belala. “A Multidimensional Approach for Formal Modeling and Analyzing Medical Cyber-Physical Systems”. Engineering, Technology & Applied Science Research 15, no. 1 (February 2, 2025): 20211–20221. Accessed March 20, 2025. https://etasr.com/index.php/ETASR/article/view/9646.