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