Basit Ur Rahim, M. A. Ensuring Reliability in Self-Adaptive Systems: A Framework for Formal Specification and Verification. Contemp. Math. 2025, 6, 6553-6569.