“Ensuring Reliability in Self-Adaptive Systems: A Framework for Formal Specification and Verification”. Contemporary Mathematics 6, no. 5 (September 23, 2025): 6553–6569. Accessed December 24, 2025. https://ojs353.mebyme.cn/index.php/CM/article/view/6223.