BOUHEROUM, Ayoub; BENMERZOUG, Djamel; HEMAM, Sofiane Mounine; BELALA, Faiza. A Multidimensional Approach for Formal Modeling and Analyzing Medical Cyber-Physical Systems. Engineering, Technology & Applied Science Research, Greece, v. 15, n. 1, p. 20211–20221, 2025. DOI: 10.48084/etasr.9646. Disponível em: https://etasr.com/index.php/ETASR/article/view/9646. Acesso em: 23 jun. 2026.