Ensuring Reliability in Self-Adaptive Systems: A Framework for Formal Specification and Verification. Contemp. Math. 2025, 6 (5), 6553-6569. https://doi.org/10.37256/cm.6520256223.