Ensuring Reliability in Self-Adaptive Systems: A Framework for Formal Specification and Verification. Contemp. Math. [Internet]. 2025 Sep. 23 [cited 2025 Dec. 24];6(5):6553-69. Available from: https://ojs353.mebyme.cn/index.php/CM/article/view/6223