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