Basit Ur Rahim, Muhammad Abdul. “Ensuring Reliability in Self-Adaptive Systems: A Framework for Formal Specification and Verification”. Contemporary Mathematics 6, no. 5 (September 23, 2025): 6553–6569. Accessed January 10, 2026. https://ojs.wiserpub.com/index.php/CM/article/view/6223.