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