Basit Ur Rahim, M. A. (2025). Ensuring Reliability in Self-Adaptive Systems: A Framework for Formal Specification and Verification. Contemporary Mathematics, 6(5), 6553–6569. https://doi.org/10.37256/cm.6520256223