BASIT UR RAHIM, M. A. Ensuring Reliability in Self-Adaptive Systems: A Framework for Formal Specification and Verification. Contemporary Mathematics , [S. l.], v. 6, n. 5, p. 6553–6569, 2025. DOI: 10.37256/cm.6520256223. Disponível em: https://ojs.wiserpub.com/index.php/CM/article/view/6223. Acesso em: 10 jan. 2026.