BOUHEROUM, A.; BENMERZOUG, D.; HEMAM, S. M.; BELALA, F. 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: 15 mar. 2025.