Basit Ur Rahim, M. A. “Ensuring Reliability in Self-Adaptive Systems: A Framework for Formal Specification and Verification”. Contemporary Mathematics, vol. 6, no. 5, Sept. 2025, pp. 6553-69, doi:10.37256/cm.6520256223.